Publication:4404848
From MaRDI portal
zbMath0279.02001MaRDI QIDQ4404848
Publication date: 1972
68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03B10: Classical first-order logic
03B25: Decidability of theories and sets of sentences
03B05: Classical propositional logic
03C80: Logic with extra quantifiers and operators
03D20: Recursive functions and relations, subrecursive hierarchies
03D25: Recursively (computably) enumerable sets and degrees
03C75: Other infinitary logic