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

Sukakah Anda buku ini?

Bagaimana kualitas file yang diunduh?

Unduh buku untuk menilai kualitasnya

Bagaimana kualitas file yang diunduh?

Kategori:

Tahun:

1981

Edisi:

1

Penerbit:

Springer-Verlag Berlin Heidelberg

Bahasa:

english

Halaman:

384

ISBN 10:

3540386491

ISBN 13:

9783540386490

Nama seri:

Lecture Notes in Mathematics 897

File:

PDF, 5.26 MB

IPFS:

,

english, 1981

Buku ini tidak dapat diunduh karena keluhan dari pemegang hak cipta

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

— Pravin Lal

Mungkin Anda tertarik

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

Istilah kunci