Iterated Inductive Definitions and Subsystems of Analysis

Recent Proof-Theoretical Studies

By S. Feferman,W. Buchholz,W. Pohlers,W. Sieg

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

Publish Date

1981

Publisher

Springer Berlin / Heidelberg

Language

eng

Pages

384

Description:

subjects: Mathematical analysis, Induction (mathematics), Proof theory, Mathematics, Symbolic and mathematical Logic, Mathematical Logic and Foundations