Directory of links on logic and foundations of mathematics

Research teams and centers : Europe - North America - Other

Publications - Blogs - Organizations - Online groups - Software - Other



Online Journals

Ordinary journals

Philosophy journals

General directories of mathematical publications





Online groups

Foundations of Logic list of Facebook groups.

Mailing lists:



(an old list)
Theory Related Software
Wikipedia : Proof assistant (comparison table) - Automated theorem proving (with also a comparison table)
Some links to logic software
Educational Logic Software by the Committee of Logical Education of ASL

Formal Methods Education Resources Tool Pages
More resources in the Formal Methods Wiki


New Foundations (an axiomatic set theory with a universal set)
Homotopy Type Theory
Transparent Intensional Logic (TIL) is a system for the logical analysis of natural language, applicable in philosophy as well as cumputational linguistic.
Formal Methods Wiki
The Continuum Hypothesis is neither a definite mathematical problem nor a definite logical problem and many other papers in pdf by Solomon Feferman
University of Manchester : there were "Mathematical Foundations Lecture Notes" at ; now there are other lecture notes here and there and there
Metamath Proof Explorer
Gregory Chaitin, well known for his work on metamathematics and randomness in pure mathematics.
The Alan Turing Home Page
Jan Willem Klop, had mathematical logic courses at, now offline
Dick van Leijenhorst
Richard Zach's papers
Open problems in logic
Mathoverflow : set theory

Hilbert's program

Hilbert’s program then and now by Richard Zach

Partial Realizations of Hilbert's Program (1988) by Steve Simpson

Hilbert's Program Revisited by Panu Raatikainen (2003)

Formal Systems, proof theory

Formalized Mathematics by John Harrison

Proof Theory on Wikipedia
Samuel R. Buss :
An Introduction to Proof Theory - lecture notes

Foundations of logic programming and deduction systems lecture notes

Introductions to logic and foundations

Set theory and the foundations of mathematics, in the present site.
Encyclopedia articles: Teach Yourself Logic 2017 A Study Guide
Beginnings of Set Theory
The Logic Cafe
History of Mathematics
There was a section Mathematical logic and foundations ( in the Mathematical Atlas now offline
Foundations of Mathematics by Steve Simpson : publications, lecture notes and other course materials. Was the creator of the FOM mailing list.
Harvey's Foundational Adventures : downloadable lecture notes- downloadable manuscripts
Formal methods education resources
John Crossley 's "What is mathematical logic? A survey (PDF)" (including non-classical logics).
Russell's paradox : a long and a very long article.
Burali-Forti Paradox : the ordinals do not form a set
Cantor's paradox : the cardinals do not form a set
Stanley N. Burris : A Course in Universal Algebra - Logic for Mathematics and Computer Science.
Some lecture notes by Onderwijspagina Jaap van Oosten
Some basic lecture notes on mathematical logic and set theory
Jouko Väänänen had a free online logic course (videos with basic contents in long details), seems not working anymore
Understanding Mathematics by Peter Alfeld at the University of Utah
Some notes on set theory
A high level course on logic and set theory
Fundamentals of Model Theory, a book by William Weiss and Cherie D’Mello, University of Toronto
Roger Bishop Jones series of short paragraphs : Logic - Formal maths - Formal methods - philo of maths - foundations of maths - philosophy of logic
Some notes by Don Monk
Lecture notes in German by Prof. Dr. Peter Schroeder-Heister (old page)
Blogic : a Web logic textbook online interactive logic tutor
Karlis Podnieks presents an Hyper-textbook for students "What is Mathematics: Gödel's Theorem and Around" and an introduction to mathematical logic.

In French : La logique pour les nuls : pdf - html archive

Foundations of Artificial Intelligence lecture notes
Oliver Deiser (School of Education, Technische Universität München): books in German (there was a page "logic and sets at
Lance Fortnow survey talks on complexity
Logic in Hebrew

More portals

Created by Sylvain Poirier, author of, in July 2012 (with updated links while the main sources used (, Anton Setzer, and A. Sakharov's page), were all quite incomplete and obsolete, thus visibly no more maintained).
Other scientific pages and lists of links