[過去ログ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む44 (704レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
371
(2): 現代数学の系譜 工学物理雑談 古典ガロア理論も読む 2017/10/10(火)23:29 ID:N5wCp15o(7/7) AAS
突然ですが、検索でヒットしたので貼る
外部リンク[html]:klapaucius.web.fc2.com
オンラインで入手できる数理論理学・数学基礎論のテキスト

数理論理学、数学基礎論の教科書的に使えるテキスト(講義ノート、サーヴェイ、モノグラフ等)のうち、オンラインで入手できるものを集めました。

・入門的概説
・論理一般
 高階論理と型理論
省31
374
(1): 2017/10/11(水)03:26 ID:8YJNJlss(1) AAS
>>371
有用な情報ありがとう
数理論理学(数学基礎論)スレの読者に有用と思いましたのでそちらのスレに転載させて頂きました
377
(2): 2017/10/11(水)06:51 ID:J8Yh+N7Q(3/6) AAS
>>371
突然ですが

∃y∀xと∀x∃yの違いが分からない
君が真っ先に読んでほしい本

∀と∃に泣く―数学の盲点とその解明
外部リンク:www.amazon.co.jp
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.032s