This category is for those sites on mathematical logic (and related topics) that are of interest to the general public rather than to professional mathematicians.
More information
More information
Related categories 1
Sites 6
(Hyper)textbook for students in mathematical logic, by Karlis Podnieks.
Slides and notes by Enrico Franconi.
Theory and history of the binary connective 'or'; from the Stanford Encyclopedia of Philosophy by Ray Jennings.
Mathematical games from a logical point of view: strategies for games and using games in descriptive complexity.
On-line proof checker, and texts.
This page includes a collection of logical laws of the first-order logic. This collection is based on the Kleene's collection from his books 'Introduction to Metamathematics' and 'Mathematical Logic' and includes a few additions.
This page includes a collection of logical laws of the first-order logic. This collection is based on the Kleene's collection from his books 'Introduction to Metamathematics' and 'Mathematical Logic' and includes a few additions.
Slides and notes by Enrico Franconi.
Mathematical games from a logical point of view: strategies for games and using games in descriptive complexity.
Theory and history of the binary connective 'or'; from the Stanford Encyclopedia of Philosophy by Ray Jennings.
On-line proof checker, and texts.
(Hyper)textbook for students in mathematical logic, by Karlis Podnieks.
Last update:
June 20, 2022 at 5:15:09 UTC
Check out
Regional: Europe: United Kingdom: England: London: Southwark: Government
- Recently edited by merlin1
- Recently edited by merlin1