Details of Book: Iterated Inductive Definitions And Subsystems Of Analysis: Recent Proof-theoretical Studies Book: Iterated Inductive Definitions And Subsystems Of Analysis: Recent Proof-theoretical Studies
Author: W. Buchholz, S. Feferman, W. Pohlers
ISBN: 3540111700
ISBN-13: 9783540111702
, 978-3540111702
Binding: Paperback
Publishing Date: 01121981
Publisher: Springer
Number of Pages: 392
Language: English