The mathematics of logic : a guide to completeness theorems and their applications /
Kaye, Richard.
The mathematics of logic : a guide to completeness theorems and their applications / Richard, Kaye. - Cambridge : Cambridge University Press, 2007 - xii, 204 p. : ill. ; 23 cm.
Includes index.
Includes bibliographical references .
9780521708777 (pbk.)
Logic, Symbolic and mathematical.
Completeness theorem.
The mathematics of logic : a guide to completeness theorems and their applications / Richard, Kaye. - Cambridge : Cambridge University Press, 2007 - xii, 204 p. : ill. ; 23 cm.
Includes index.
Includes bibliographical references .
9780521708777 (pbk.)
Logic, Symbolic and mathematical.
Completeness theorem.