BUBL LINK Catalogue of Internet Resources

Home | Search | Subject Menus | Countries | Types | BUBL UK | Index

       A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

Mathematical logic

1. Boole: Calculus of Logic
2. Electronic Stacks Project
3. Glossary of First-Order Logic
4. Journal of Logic and Computation
5. Logic Journal of the IGPL
6. Mathematical Logic Around the World
7. Metamath Proof Explorer
8. Modern Logic: : International Journal for the History of Mathematical Logic, Set Theory, and Foundations of Mathematics

Comments: bubl@bubl.ac.uk

Boole: Calculus of Logic

An article by George Boole concerning propositional calculus, first published in Cambridge and Dublin Mathematical Journal Vol. III (1848). The article is available in HTML, LaTeX, DVI, and PostScript formats.
     Author: Boole, George & Wilkins, David R.
     Subjects: calculus, mathematical logic
     DeweyClass: 511.3
     Resource type: article

Electronic Stacks Project

Project aiming to establish a distributed, evolving and live electronic dictionary of logic, an interdisciplinary subject covering philosophy, mathematics, language, psychology, computer science and artificial intelligence.
     Author: King's College London
     Subjects: mathematical logic, philosophical logic
     DeweyClass: 160
     Resource type: documents

Glossary of First-Order Logic

Alphabetical list of terms relating to basic set theory, basic recursive function theory, truth-functional propositional logic and first-order predicate logic.
     Author: Suber, Peter
     Subjects: mathematical logic, philosophical logic
     DeweyClass: 160
     Resource type: document

Journal of Logic and Computation

Tables of contents to current and archive issues of the Journal of Logic and Computation with links to abstracts. Also includes facility to receive new table of contents information via email.
     Author: Oxford University Press
     Subjects: mathematical logic
     DeweyClass: 511.3
     Resource type: journal

Logic Journal of the IGPL

Tables of contents and abstracts of the Logic Journal of the IGPL, with full text articles from Volume 5 onwards.
     Author: Oxford University Press
     Subjects: mathematical logic
     DeweyClass: 511.3
     Resource type: journal

Mathematical Logic Around the World

Links to sources of information on mathematical logic. Includes preprints and journals, events, organisations and logic groups around the world, arranged geographically.
     Author: Piwinger, Boris and Goldstern, Martin
     Subjects: mathematical logic
     DeweyClass: 511.3
     Resource type: index

Metamath Proof Explorer

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 substitution, and Zermelo-Fraenkel Set Theory.
     Author: Megill, Norman D.
     Subjects: mathematical logic, mathematics education
     DeweyClass: 511.3
     Resource type: guide

Modern Logic: : International Journal for the History of Mathematical Logic, Set Theory, and Foundations of Mathematics

Journal covering major areas of mathematical logic, including model theory, recursion theory, algebraic logic and Boolean algebras, general set theory and point set theory, proof theory and constructive mathematics. Includes contents and abstracts of each issue, and an index of authors.
     Author: Modern Logic Publishing
     Subjects: mathematical logic
     DeweyClass: 511.3
     Resource type: article abstracts, journal