Explore >> Select a destination
|
You are here 
|
www.logicmatters.net | ||
| | | | |
jdh.hamkins.org
|
|
| | | | | I shall be speaking at the ForcingFest meeting at the University of Oslo, 21 June 2024. Abstract. I will explain how the forcing construction can be seen as a direct implementation of the iterative... | |
| | | | |
xahlee.info
|
|
| | | | | [AI summary] A collection of free and verified math textbooks and resources, including calculus, linear algebra, and advanced topics like category theory, along with some unverified materials. | |
| | | | |
richardzach.org
|
|
| | | | | The Zeitschrift für mathematische Logik und Grundlagen der Mathematik was one of the few logic journals around in the mid 20th century. It started publishing in 1955, I think the only logic journal... | |
| | | | |
blog.openlibrary.org
|
|
| | | |||
