-
1Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies [electronic resource] / Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies [electronic resource] /by Buchholz, Wilfried. author., Feferman, Solomon. author., Pohlers, Wolfram. author., Sieg, Wilfried. author., SpringerLink (Online service)
Published 1981Texto bibliotecaCOLPOS -
2Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies [electronic resource] / Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies [electronic resource] /by Buchholz, Wilfried. author., Feferman, Solomon. author., Pohlers, Wolfram. author., Sieg, Wilfried. author., SpringerLink (Online service)
Published 1981Texto bibliotecaCOLPOS -
3Reports of the Midwest Category Seminar III [electronic resource] / Reports of the Midwest Category Seminar III [electronic resource] /by Barr, M. author., Berthiaume, P. author., Day, B. J. author., Duskin, J. author., Feferman, S. author., Kelly, G. M. author., Mac Lane, S. author., Tierney, M. author., Walters, R. F. C. author., SpringerLink (Online service)
Published 1969Texto bibliotecaCOLPOS -
4Reports of the Midwest Category Seminar III [electronic resource] / Reports of the Midwest Category Seminar III [electronic resource] /by Barr, M. author., Berthiaume, P. author., Day, B. J. author., Duskin, J. author., Feferman, S. author., Kelly, G. M. author., Mac Lane, S. author., Tierney, M. author., Walters, R. F. C. author., SpringerLink (Online service)
Published 1969Texto bibliotecaCOLPOS