The Legacy of Kurt Schütte

Main
Mathematics - Logic
The Legacy of Kurt Schütte

The Legacy of Kurt Schütte

Reinhard Kahle, Michael Rathjen

0 / 5.0

Колко ви харесва тази книга?

Какво е качеството на файла?

Изтеглете книгата за оценка на качеството

Какво е качеството на изтеглените файлове?

Категории:

Mathematics - Logic

Година:

2020

Издателство:

Springer Nature

Език:

english

Страници:

502

ISBN 10:

3030494241

ISBN 13:

9783030494247

Файл:

PDF, 12.78 MB

IPFS:

,

english, 2020

Изтеглянето на тази книга не е възможно поради жалба от притежателя на авторските права

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

— Pravin Lal

Може да се интересувате от

Moshé Machover — Set Theory, Logic and Their Limitations

W. Weiss — An Introduction to Set Theory

Toshiyasu Arai — Ordinal Analysis

Gaisi Takeuti — Proof theory

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

Gaisi Takeuti — Proof Theory

George Tourlakis — Lectures in Logic and Set Theory. Volume 2: Set Theory

Stephen G. Simpson — Subsystems of Second Order Arithmetic

Françoise Delon, Ulrich Kohlenbach, Penelope Maddy, Frank Stephan — Logic colloquium 2007

Moshe Machover — Set Theory, Logic and their Limitations

Helmut Schwichtenberg, Stanley S. Wainer — Proofs and Computations

George Tourlakis — Lectures in Logic and Set Theory. Volume 2: Set Theory

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

Yiannis N. Moschovakis — Descriptive set theory

Dominique Lecomte — Potential Wadge classes

Ernest Schimmerling — A Course on Set Theory

Ernest Schimmerling — A Course on Set Theory

Orna Grumberg, Orna Grumberg, Tobias Nipkow, Christian Pfaller — Formal Logical Methods for System Security and Correctness

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

Matthew Katz, Jan Reimann — An Introduction to Ramsey Theory Fast Functions Infinity and Metamathematics

Dieter Probst;Peter Schuster — Concepts of Proof in Mathematics

Kenneth Kunen — The Foundations of Mathematics

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

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

Marco Benini (editor), Olaf Beyersdorff (editor), Michael Rathjen (editor), Peter Michael Schuster (editor) — Mathematics For Computation (m4c)

Toshiyasu Arai — Ordinal Analysis with an Introduction to Proof Theory

Sy D Friedman et al. (eds.) — Sets and Computations

Най-често използвани термини