Subject

Predicate Calculus

Explore catalogue records classified under Predicate Calculus.

2 catalogue records

Catalogue records

Completeness, compactness, and undecidability Manaster, Alfred B. 1975 Principles of Mathematical Logic Author not listed Year not listed