Internet Encyclopedia of Philosophy - an online encyclopedia of philosophy terms and biographies. Browse alphabetically or search by keyword. Most entries are short and concise without a bibliography.
Stanford Encyclopedia of Philosophy - first dynamic encyclopedia, in which articles are constantly updated by different experts. It offers visitors a table of contents. Browse alphabetically for entries. Includes bibliographies.
Glossary of First-Order Logic, by Peter Suber. A 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.
