著者: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 ……続きを見る
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……続きを見る
-Have you been asked to sit a numerical or logical reasoning test?
-Do you need some help preparing for the questions you'll be asked?
-Do you want to make sure you perform to the best of your abili……続きを見る