Gentzen's Centenary: The Quest for Consistency Reinhard Kahle Michael Rathjen

Name: Gentzen's Centenary: The Quest for Consistency Reinhard Kahle Michael Rathjen
Author: Reinhard Kahle

by Reinhard Kahle · 1 review · 2016

Reviewed by	Journal	Date	Access
Henry Towsner	The Bulletin of Symbolic Logic	2016-12-00	Restricted

Also by Kahle