Suber, Peter2019-06-061999Suber, Peter. 1999. Glossary of First-Order Logic.http://nrs.harvard.edu/urn-3:HUL.InstRepos:40503348This 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-06-06