Suber, Peter2019-07-102002Suber, Peter. 2002. Glossary of First-Order Logic.http://nrs.harvard.edu/urn-3:HUL.InstRepos:40870885This 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.en-USOther2019-07-10