Iterated Inductive Definitions and Subsystems of Analysis:...

Main
Mathematics
Iterated Inductive Definitions and...

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

Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, Wilfried Sieg (auth.)

0 / 0

Bạn thích cuốn sách này tới mức nào?

Chất lượng của file scan thế nào?

Xin download sách để đánh giá chất lượng sách

Chất lượng của file tải xuống thế nào?

Thể loại:

Năm:

1981

In lần thứ:

1

Nhà xuát bản:

Springer-Verlag Berlin Heidelberg

Ngôn ngữ:

english

Trang:

384

ISBN 10:

3540386491

ISBN 13:

9783540386490

Loạt:

Lecture Notes in Mathematics 897

File:

PDF, 5.26 MB

IPFS:

,

english, 1981

Không download được sách này bởi khiếu nại của đại diện pháp luật

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

— Pravin Lal

Có thể bạn quan tâm

Fereman Solomon — Predicativity

Toshiyasu Arai — Ordinal Analysis

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

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

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)

K. Schütte, J.N. Crossley — Proof theory

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

Kurt Schütte (auth.) — Proof Theory

Ralf Schindler — Ways of Proof Theory

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

Gerhard Jager — Theories for Admissible Sets: A Unifying Approach to Proof Theory

Wilfried Buchholz, Kurt Schutte — Proof Theory of Impredicative Subsystems of Analysis

Toshiyasu Arai — Ordinal Analysis with an Introduction to Proof Theory

Từ khóa thường sử dụng nhất