### Recent Submissions

• #### Glossary of First-Order Logic ﻿

(2002)
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.

(2019-06-29)
• #### Glossary of First-Order Logic ﻿

(1999)
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.