著者：Jan von Plato
出版社： Springer International Publishing
発売日： 2017年03月31日
Gerhard Gentzen is best known for his development of the proof systems of natural deduction and sequent calculus, central in many areas of logic and computer science today. Another noteworthy achiev……続きを見る
著者：Jan von Plato
出版社： Cambridge University Press
発売日： 2015年11月10日
Some of our earliest experiences of the conclusive force of an argument come from school mathematics: faced with a mathematical proof, we cannot deny the conclusion once the premises have been accep……続きを見る
