Completeness,compactness, and undercidability : an introduction to mathematical logic /

Bibliographic Details
Main Author:	343792 Manaster, Alfred B.
Format:
Published:	Englewood Cliffs, New Jersey : Prentice Hall, 1975
Subjects:	Logic, Symbolic and mathematical Predicate calculus

Similar Items