Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies by W. Pohlers, W. Buchholz, S. Feferman

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

Lecture Notes in Mathematics #897

W. Pohlers, W. Buchholz, S. Feferman

384 pages • first pub 1981 (editions)

nonfiction mathematics medium-paced
Powered by AI (Beta)
Loading...

Community Reviews

Loading...

Content Warnings

Loading...