Gerhard Gentzen is best known for his development of the proof systems of natural deduction and s...

Kurt Gödel (1906-1978) shook the mathematical world in 1931 by a result that has become an icon o...

Paris of the year 1900 left two landmarks: the Tour Eiffel, and David Hilbert's celebrated list o...

This volume contains English translations of Gödel's chapters on logicism and the antinomies and ...

Kurt Gödel (1906-1978) gained world-wide fame by his incompleteness theorem of 1931. Later, he se...

In the summer of 1928, Kurt Gödel (1906-1978) embarked on his logical journey that would bring hi...

This book is a record of a seminar on mathematical logic Kurt Gödel and Hans Hahn held in Vienna ...

This book continues from where the authors' previous book, Structural Proof Theory, ended. It pre...

This is the only book to chart the history and development of modern probability theory. It shows...

Structural proof theory is a branch of logic that studies the general structure and properties of...

Some of our earliest experiences of the conclusive force of an argument come from school mathemat...

Oiva Ketonen (1913--2000) was the closest to a student the creator of modern proof theory Gerhard...