Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

Free Download

Authors:

Edition: 1

Series: Lecture Notes in Mathematics

ISBN: 9783540111702, 3-540-11170-0

Size: 3 MB (2751423 bytes)

Pages: 388/388

File format:

Language:

Publishing Year:

Direct Download: Coming soon..
Download link:
Sign in to view hidden content.
Category:

W. Buchholz, S. Feferman, W. Pohlers, W. Sieg9783540111702, 3-540-11170-0

Reviews

There are no reviews yet.

Be the first to review “Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies”

Related products

Shopping Cart
Scroll to Top