Glossary of First-Order Logic
MetadataShow full item record
CitationSuber, Peter. 1999. Glossary of First-Order Logic.
AbstractThis glossary is limited to basic set theory, basic recursive function theory, two branches of logic (truth-functional propositional logic and first-order predicate logic) and their metatheory.
Citable link to this pagehttp://nrs.harvard.edu/urn-3:HUL.InstRepos:40503348
- HCA Scholarly Articles