Reinhard Kahle, Michael Rathjen

Gentzen's Centenary

The Quest for Consistency

We couldn't estimate the reading time for this book.

Author

Publication

2015 - Springer London, Limited

Language

English

Word Count

0 words, Guess

Page Count

0 pages

Identifiers

ISBN-139783319101033
ISBN-10331910103X
Better World Books9783319101033
Open LibraryOL37218544M

Classifications

LCCQA8.9-10.3

Subjects

Topics

Proof theory Logic, symbolic and mathematical

Other Editions

Gentzen's Centenary: The Quest for ConsistencySpringer London, Limited2015-01-01

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!