Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies: 897 (Lecture Notes in Mathematics)
by Wilfred Buchholz,Wilfried Sieg,Solomon Feferman,Wolfram Pohlers
ISBN 13: 9783540111702
Format: Paperback (392 pages) Publisher: Springer Published: 22 Feb 2009
Save for later
Feferman on Foundations: Logic, Mathematics, Philosophy: 13 (Outstanding Contributions to Logic)
by Gerhard Jäger,Wilfried Sieg
ISBN 13: 9783319633329
Format: Hardcover (632 pages) Publisher: Springer Published: 30 Mar 2018
David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933 (David Hilbert's Lectures on the Foundations of Mathematics and Physics, 1891-1933, 3)
by William Ewald,Wilfried Sieg,Ulrich Majer,Dirk Schlimm,Michael Hallett
ISBN 13: 9783540205784
Format: Hardcover (1087 pages) Publisher: Springer Published: 03 Jun 2013