Mathematical logic and M Guide - Resources and Review

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.
 
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.
 
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.
 
Alphabetical list of terms relating to basic set theory, basic recursive function theory, truth
functional propositional logic and first-order predicate logic.
 
Journal covering various specialities of modern mathematical logic, subtitled International Journal for the History of Mathematical Logic, Set Theory, and Foundations of Mathematics. Includes contents and abstracts of each issue, and an index of authors.
 
Tables of contents and abstracts of the Logic Journal of the IGPL, with full text articles from Volume 5 onwards.
 
Collection of links to information sources in logic and theoretical computer science. Sources are listed by place or by type, including conferences, journals, research areas, theorem provers, and literature.
 
Links to sources of information on mathematical logic. Includes preprints and journals, events, organisations and logic groups around the world, arranged geographically.
 
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.
 
Nb = 9