数学、特に形式論理学やゲーデルの不完全性定理、圏論などに興味がある人には次のサイトが役立つと思います。
ケンブリッジ大学で長年数学、特に形式論理学や圏論を教えていたPeter Smithさんが自分の著書の多くをオープンアクセスにして公開されています。TOPページがこちら。
https://www.logicmatters.net/
オープンアクセス本がまとめてあるページへのリンク、ブログ、Study Guideなどいろんなページがあって必見です。
5冊のオープンアクセス本がまとめてあるのがこちらです。https://www.logicmatters.net/books/
ケンブリッジ大学出版会から出ていた本の改訂版がpdfで自由にダウンロードできます。それぞれの本へのリンクは上の著者のサイトからご覧ください。
1) Introducing Category Theory is the third expanded edition (2026) of a set of much-downloaded notes.
2) An Introduction to Formal Logic, based the first-year lecture course I gave for many years, was originally published by Cambridge University Press (2003, 2020). A corrected version of the second edition is now available as a freely downloadable PDF.
3) An Introduction to Gödel’s Theorems was first published in 2007 also by Cambridge University Press, with the second edition appearing in 2013. It was published in a philosophy series, but is full of theorems — so mathematics students should find it useful too. A corrected version of the second edition is now available as a freely downloadable PDF. Again, for people who prefer to work from a physical book, there is a print-on-demand version as an inexpensive large format paperback. For more info, see here where you will find further support documents.
4) Gödel Without (Too Many) Tears
This book is again available as a PDF. There is also an extremely inexpensive print-on-demand book available from Amazon, and a hardback too. For more info, see here.
5) Beginning Mathematical Logic (2022) provides a study guide, giving introductory overviews of the core topics and then recommending the best books for studying these topics enjoyably and effectively.
それぞれの本に関して、練習問題とかもサイトに掲載されているのでゲーデルの定理や形式論理学の入門書が欲しい人にピッタリのサイトです。