Editions

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

Current edition
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 • 1981

nonfiction mathematics medium-paced
Other editions (0)