W. Buchholz

1 book

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