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

Lecture Notes in Mathematics #897

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

W. Buchholz, S. Feferman, W. Pohlers

384 pages • paperback • 1981

1 edition

nonfiction mathematics medium-paced
mark as owned
More Options
add to favorites

Browse Similar Books

Read With Others

Start a Readalong

Start a Buddy Read

Book Information

Add Missing Information

Report Missing/Incorrect Information

Powered by AI (Beta)
Loading...

Community Reviews

Loading...

Content Warnings

Loading...