Iterated Inductive Definitions and Subsystems of Analysis:...

Main
Mathematics
Iterated Inductive Definitions and...

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

W. Buchholz, S. Feferman, W. Pohlers, W. Sieg

0 / 0

你有多喜欢这本书？

下载文件的质量如何？

下载该书，以评价其质量

下载文件的质量如何？

Used - Like New

种类:

年:

1981

出版:

1

出版社:

Springer

语言:

english

页:

388

ISBN 10:

3540111700

ISBN 13:

9783540111702

系列:

Lecture Notes in Mathematics

文件:

DJVU, 2.62 MB

IPFS:

,

english, 1981

因版权方投诉，本书无法下载

Beware of he who would deny you access to information, for in his heart he dreams himself your master

— Pravin Lal

您可能会感兴趣

J N Crossley, M A E Dummett — Formal Systems and Recursive Functions

John N. Crossley, Michael Dummett (editors) — Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford, July 1963

L. A. Harrington, M.D. Morley, A. Scedrov, S. G. Simpson — Harvey Friedman's research on the foundations of mathematics

Peter Clote, Jan Krajícek — Arithmetic, Proof Theory, and Computational Complexity

Gaisi Takeuti — Proof Theory

Fenstad J.E., Hinman P.G. (eds.) — Generalized Recursion Theory: Proceedings of the 1972 Oslo Symposium

Crossley J.N., Dummett M.A.E. (eds.) — Formal Systems and Recursive Functions (Logic Colloquium'63)

Jon Barwise, H. Jerome Keisler, Kenneth Kunen — The Kleene Symposium: Proceedings of the Symposium Held June 18-24, 1978 at Madison, Wisconsin, U.S.A.

Boffa M., van Dalen D., McAloon K. (eds.) — Logic Colloquium '78: Proceedings Mons, 1978

Dirk van Dalen, etc. — Logic Colloquium '80 (no TOC)

Gaisi Takeuti — Proof theory

Samuel R. Buss (Editor) — Handbook of Proof Theory

Gaisi Takeuti — Proof Theory

Kino A., Myhill J., Vesley R.E. (eds.) — Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968

J. E. Fenstad (editor) — Proc. 2nd Scandinavian Logic Symposium

A. G. Dragalin — Mathematical Intuitionism: Introduction to Proof Theory

Petr Hájek (editor) — Gödel '96: Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy

Jon Barwise — Admissible Sets and Structures

Torkel Franzén — Inexhaustibility: A Non-Exhaustive Treatment

Sieg, Wilfried; Sommer, Richard; Talcott, Carolyn L et al. (eds.) — Reflections on the foundations of mathematics: essays in Honor of Solomon Feferman: lecture notes in logic 15

Dieter Probst;Peter Schuster — Concepts of Proof in Mathematics, Philosophy, and Computer Science

Dieter Probst;Peter Schuster — Concepts of Proof in Mathematics

Wilfried Sieg, Richard Sommer, Carolyn Talcott — Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman

Torkel Franzén — Inexhaustibility: A Non-Exhaustive Treatment

Serafim Batzoglou — Introduction to Incompleteness

Ulrich Berger, Hannes Diener, Peter Schuster, Monika Seisenberger — Logic, Construction, Computation

Ralf Schindler (editor) — Ways of Proof Theory

Ulrich Berger (editor); Hannes Diener (editor); Peter Schuster (editor); Monika Seisenberger (editor) — Logic, Construction, Computation

Reinhard Kahle, Michael Rathjen (eds.) — Gentzen's Centenary, The Quest for Consistency

Gerhard Jäger, Wilfried Sieg — Feferman on Foundations

J. Diller, G.H. Müller — ISILC - Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and ... in Mathematics)

Petr Hajek — Gödel '96: Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy. Brno, Czech Republic, August 1996, Proceedings

Wolfram Pohlers — Proof Theory: The First Step into Impredicativity

Ralf Schindler — Ways of Proof Theory

Ulrich Berger, Hannes Diener, Peter Schuster, Monika Seisenberger — Logic, Construction, Computation

关键词