| ||
|
| www3.oup.co.uk/igpl/ Tables of contents and abstracts of the Logic Journal of the IGPL, with full text articles from Volume 5 onwards. | |
| ed.ac.uk/~pmilne/ml/home.html Includes contents and abstracts of each issue, and an index of authors. Journal covering various specialities of modern mathematical logic, subtitled International Journal for the History of Mathematical Logic, Set Theory, and Foundations of Mathematics. | ||
| earlham.edu/~peters/courses/logsys/glossary.htm Alphabetical list of terms relating to basic set theory, basic recursive function theory, truth-functional propositional logic and first-order predicate logic. | ||
| www3.oup.co.uk/logcom/contents/ Also includes facility to receive new table of contents information via email. Tables of contents to current and archive issues of the Journal of Logic and Computation with links to abstracts. | ||
| dcs.kcl.ac.uk/journals/stacks/ Project aiming to establish a distributed, mathematics, psychology, computer science , an interdisciplinary subject covering philosophy, language, evolving and live electronic dictionary of logic and artificial intelligence. | ||
| www1.shore.net/~ndm/java/mmexplorer1/mmset.html Provides over 3000 logic and set theory proofs, each of which can be reduced to its fundamental axioms. Features notes on reading and understanding the proofs, and outlines the axioms underpinning propositional and predicate calculus, equality and substit | ||
| math.uu.se/logik/logic-server/ Sources are listed by place or by type, including conferences, journals, research areas, theorem provers, and literature. Collection of links to information sources in logic and theoretical computer science. | ||
| maths.tcd.ie/pub/HistMath/People/Boole/CalcLogic/ III (1848). The article is available in HTML, LaTeX, DVI, and PostScript formats. An article by George Boole concerning propositional calculus, first published in Cambridge and Dublin Mathematical Journal Vol. | ||
| uni-bonn.de/logic/world.html Includes preprints and journals, events, organisations and logic groups around the world, arranged geographically. Links to sources of information on mathematical logic. | ||
| ||