The mathematics of logic : a guide to completeness theorems and their applications /

Bibliographic Details

Main Author:	Kaye, Richard (Richard W.)
Format:	Book
Language:	English
Published:	Cambridge ; New York : Cambridge University Press, 2007.
Subjects:	Logic, Symbolic and mathematical.