This category is about mathematical logic and foundations of mathematics. (So it roughly corresponds to category 03-XX in the 1991 Mathematical Sciences Classification.) Major related subjects outside mathematics are computer science at one end, and philosophical logic at the other.
If you are looking for basic, non-technical information on logic, you may want to look at the subcategories Encylopedia Articles and Educational Resources.
If you think your site or one that you have come across fits here: please submit it. If not sure give it to us anyway ... we will do our best to find where it belongs.
More information
More information
Subcategories 21
Related categories 4
Sites 3
Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.
Hyper-textbook for students by V. Detlovs and K. Podnieks.
Personal project to rebuild mathematics in a short and rigorous way from a new formalization of set theory, and explain its philosophical aspects. Also includes some physics.
Personal project to rebuild mathematics in a short and rigorous way from a new formalization of set theory, and explain its philosophical aspects. Also includes some physics.
Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.
Hyper-textbook for students by V. Detlovs and K. Podnieks.
Other languages 7
Last update:
October 5, 2024 at 19:40:54 UTC
Check out
Society: Ethnicity: Celtic: Cornish
- Recently edited by shedragon
- Recently edited by shedragon