Theories for Admissible Sets: A Unifying Approach to Proof...

Main
Mathematics
Theories for Admissible Sets: A...

Theories for Admissible Sets: A Unifying Approach to Proof Theory

Gerhard Jager

0 / 0

ఈ పుస్తకం ఎంతగా నచ్చింది?

దింపుకొన్న ఫైల్ నాణ్యత ఏమిటి?

పుస్తక నాణ్యత అంచనా వేయడాలనుకుంటే దీన్ని దింపుకోండి

దింపుకొన్న ఫైళ్ళ నాణ్యత ఏమిటి?

వర్గాలు:

సంవత్సరం:

1987

ప్రచురణకర్త:

Humanities Pr

భాష:

english

పేజీల సంఖ్య:

167

ISBN 10:

8870881490

ISBN 13:

9788870881493

పుస్తక శ్రేణి:

Studies in Proof Theory Lecture Notes, Vol 2

ఫైల్:

PDF, 4.69 MB

IPFS:

,

english, 1987

ఆన్‌లైన్‌లో చదవండి

కి మార్పిడి జరుగుతూ ఉంది.

కి మార్పిడి విఫలమైంది!

మీకు ఆసక్తిగా కనిపించ వచ్చు

Paul Bernays, with a historical introduction by Abraham A. Fraenkel — Axiomatic Set Theory

Fereman Solomon — Predicativity

Hilbert David — The Foundations of Mathematics

Pudlák, Pavel; Buss, Samuel R.; Hájek, Petr (eds.) — Logic colloquium '98: proceedings of the annual European summer meeting of the Association for symbolic logic, held in Prague, Czech Republic, August 9-15, 1998

Andrea Cantini — Logical Frameworks for Truth and Abstraction: An Axiomatic Study

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

Stewart Shapiro — Foundations without Foundationalism: A Case for Second-Order Logic

Solomon Feferman — In the Light of Logic

Solomon Feferman — In the Light of Logic

et al. (editors) W. Marke — Set Theory and Hierarchy Theory A Memorial Tribute to Andrzej Mostowski

Paris Logic Group — Logic Colloquium '85: Proceedings Orsay, 1985

Andrea Cantini — Logical Frameworks for Truth and Abstraction: An Axiomatic Study

Mostowski A. — Foundational Studies: Selected works

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

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

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

Paul Bernays — Axiomatic Set Theory

J. E. Fenstad (editor) — Proceedings of the Second Scandinavian Logic Symposium

Gandy R.O., Yates C.M.E. (eds.) — Logic Colloquium '69: Proceedings Manchester, 1969

Wilfried Sieg (ed.) — Logic and Computation: Proceedings of a Workshop Held at Carnegie Mellon University, June 30-July 2, 1987

Jon Barwise — Admissible Sets and Structures

Volker Halbach — Axiomatic Theories of Truth

Jon Barwise — Admissible Sets and Structures

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

Andrzej Mostowski — Foundational Studies, Selected Works Vol I

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

Buss, Samuel R.; Hájek, Petr; Pudlák, Pavel (eds.) — Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998

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

Grigori Mints, Reinhard Muskens — Games, logic, and constructive sets

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

కీలక పదబంధాలు