論理学入門

論理学入門のオススメ一覧です。

 

数理論理学 (現代基礎数学)

数理論理学 (現代基礎数学)

 

 

 

公理と証明 証明論への招待 (ちくま学芸文庫)

公理と証明 証明論への招待 (ちくま学芸文庫)

 

@GLC___ さんより:
公理とについての歴史的な話に始まり、ついで公理主義、そして数学の基礎(論理学、特に証明論の入門)の話へと展開してゆきます。