Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-theoretical Studies (Lecture Notes in Mathematics, 897)
Description
Used - Like New
Keywords
MATHEMATICAL ANALYSISINDUCTION (MATHEMATICS)PROOF THEORY
1981Book
Author(s)W. Pohlers, W. Sieg, W. Buchholz, S. Feferman
PublisherSpringer
ISBN9783540111702
LanguageEnglish
