著者：Anna Horská
出版社： Springer International Publishing
発売日： 2016年02月16日
This book explains the first published consistency proof of PA. It contains the original Gentzen's proof, but it uses modern terminology and examples to illustrate the essential notions. The author ……続きを見る
Pieranna Garavaso and Nicla Vassallo investigate Gottlob Frege's notion of thinking (das Denken) to provide a new analysis of a largely unexplored area of the philosopher's work. Confronting Frege's……続きを見る
This book presents logical foundations of dual tableaux together with a number of their applications both to logics traditionally dealt with in mathematics and philosophy (such as modal, intuitionis……続きを見る
