Glossary of First-Order Logic
Author
Published Version
https://legacy.earlham.edu/~peters/courses/logsys/glossary.htmMetadata
Show full item recordCitation
Suber, Peter. 2002. Glossary of First-Order Logic.Abstract
This 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.Other Sources
http://dash.harvard.edu/handle/1/40503348Terms of Use
This article is made available under the terms and conditions applicable to Other Posted Material, as set forth at http://nrs.harvard.edu/urn-3:HUL.InstRepos:dash.current.terms-of-use#LAACitable link to this page
http://nrs.harvard.edu/urn-3:HUL.InstRepos:40870885
Collections
- HCA Scholarly Articles [622]
Contact administrator regarding this item (to report mistakes or request changes)