<source> the Glossary of First-Order Logic edited by Peter Suber, Philosophy Department, Earlham College, USA "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." Many definitions in this dictionary are from the version published in 2001-02-05.
Try this search on OneLook / Google