■ このスレッドは過去ログ倉庫に格納されています
数理論理学（数学基礎論） その14
- 555 ：１３２人目の素数さん：2021/07/17(土) 22:02:41.42 ID:y8Sg6VhU.net
- >>554
はい、これ
Georg Kreisel and Jean-Louis Krivine, Elements of Mathematical Logic (Model Theory), North-Holland, 1967.
https://www.irif.fr/~krivine//articles/Elements_logic.pdf
総レス数 604
177 KB
新着レスの表示
掲示板に戻る
全部
前100
次100
最新50
read.cgi ver.24052200