W. Pohlers

1 book

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

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

Lecture Notes in Mathematics #897

W. Buchholz, S. Feferman, W. Pohlers

384 pages • paperback • 1981

nonfiction mathematics medium-paced