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

Kurt Gödel, Kurt Godel, Kurt G. del, Kurt G. Del, S. Feferman, John W. Dawson, Jr., Stephen C. Kleene, G. Moore, R. Solovay, Jean van Heijenoort, USA) Feferman, S. (Professor of Mathematics, Professor of Mathematics, Stanford University, USA) Dawson, Jr., John W. (Professor of Mathematics, Professor of Mathematics, Pennsylvania State University, Canada) Kleene, Stephen C. (Emeritus Professor of Mathematics and Computer Science, Emeritus Professor of Mathematics and Computer Science, University of Wisconsin, Canada) Moore, G. (, McMaster University, Ontario, USA) Solovay, R. (Professor of Mathematics, Professor of Mathematics, University of California, Berkeley, Solomon Feferman

Kurt Gödel, Kurt Godel, S. Feferman, John W. Dawson, Jr., Stephen C. Kleene, G. Moore, R. Solovay, Jean van Heijenoort, USA) Feferman, S. (Professor of Mathematics, Professor of Mathematics, Stanford University, USA) Dawson, Jr., John W. (Professor of Mathematics, Professor of Mathematics, Pennsylvania State University, Canada) Kleene, Stephen C. (Emeritus Professor of Mathematics and Computer Science, Emeritus Professor of Mathematics and Computer Science, University of Wisconsin, Canada) Moore, G. (, McMaster University, Ontario, USA) Solovay, R. (Professor of Mathematics, Professor of Mathematics, University of California, Berkeley, Solomon Feferman, Jr. John W. Dawson

Kurt Gödel, Kurt Godel, Kurt G?del, S. Feferman, John W. Dawson, Jr., Warren Goldfarb, Charles Parsons, Wilfried Sieg, USA) Feferman, S. (Professor of Mathematics, Professor of Mathematics, Stanford University, USA) Dawson, Jr., John W. (Professor of Mathematics, Professor of Mathematics, Pennsylvania State University, Solomon Feferman

J. Barwise, S. Feferman, California) Barwise, J. (Stanford University, California) Feferman, S. (Stanford University

Kurt Gödel, Kurt Godel, Kurt G?del, S. Feferman, John W. Dawson, Jr., Warren Goldfarb, Charles Parsons, R. Solovay, Stanford University) Feferman, S. (Professor of Mathematics and Philosophy and the Patrick Suppes Family Professor of Humanities and Sciences, Professor of Mathematics and Philosophy and the Patrick Suppes Family Professor of Humanities and Sciences, Pennsylvania State University) Dawson, Jr., John W. (Professor of Mathematics, Professor of Mathematics, Professor of Philosophy) Goldfarb, Warren (Professor of Philosophy, both of Harvard University) Parsons, Charles (Edgar Pierce Professor of Philosophy, Edgar Pierce Professor of Philosophy, Berkeley) Solovay, R. (Emeritus Professor of Mathematics, Emeritus Professor of Mathematics, University of California, Solomon Feferman

Kurt Gödel, Kurt Godel, S. Feferman, John W. Dawson, Jr., Stephen C. Kleene, G. Moore, R. Solovay, Jean van Heijenoort, USA) Feferman, S. (Professor of Mathematics, Professor of Mathematics, Stanford University, USA) Dawson, Jr., John W. (Professor of Mathematics, Professor of Mathematics, Pennsylvania State University, Canada) Kleene, Stephen C. (Emeritus Professor of Mathematics and Computer Science, Emeritus Professor of Mathematics and Computer Science, University of Wisconsin, Canada) Moore, G. (, McMaster University, Ontario, USA) Solovay, R. (Professor of Mathematics, Professor of Mathematics, University of California, Berkeley, Solomon Feferman, John W. Dawson

Bea Uusma

Jumbo

Riley Sager

Jumbo