PakCat catalogue record

Completeness, compactness, and undecidability

an introduction to mathematical logic

By Manaster, Alfred B.

Bibliographic details

Subjects

Logic, Symbolic and mathematical., Predicate calculus.