Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies: 897 (Lecture Notes in Mathematics)

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies: 897 (Lecture Notes in Mathematics)

by Solomon Feferman (Contributor), Wilfried Sieg (Contributor), Wilfred Buchholz (Author), Wolfram Pohlers (Contributor)

$33.43

Save:$0.80 (2%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 392
Edition: 1981
Publisher: Springer
Published: 22 Feb 2009

ISBN 10: 3540111700
ISBN 13: 9783540111702
Book Overview: Springer Book Archives