Feferman on foundations. Logic, mathematics, philosophy

Main
Mathematics
Feferman on foundations. Logic,...

Feferman on foundations. Logic, mathematics, philosophy

Jäger, Gerhard, Sieg, Wilfried (eds.)

0 / 0

Quanto ti piace questo libro?

Qual è la qualità del file?

Scarica il libro per la valutazione della qualità

Qual è la qualità dei file scaricati?

Categorie:

Anno:

2017

Casa editrice:

Springer

Lingua:

english

Pagine:

617

ISBN 10:

3319633341

ISBN 13:

9783319633343

Collana:

Outstanding Contributions to Logic 13

File:

PDF, 3.83 MB

IPFS:

,

english, 2017

Il download di questo libro non è disponibile a causa di un reclamo da parte del detentore del copyright

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

— Pravin Lal

Puoi essere interessati a

Shaughan Lavine — Understanding the infinite

Fereman Solomon — Predicativity

W. Weiss — An Introduction to Set Theory

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

Crosilla, Laura; Schuster, Peter (eds.) — From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics

Frank R. Drake — Set Theory: An Introduction to Large Cardinals

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

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

Judith Roitman — Introduction to modern set theory

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

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

Geoffrey Hellman — Mathematics and Its Logics: Philosophical Essays

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

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

Kenneth Kunen — The Foundations of Mathematics

Serafim Batzoglou — Introduction to Incompleteness

Godehard Link (Editor) — One Hundred Years of Russell's Paradox: Mathematics, Logic, Philosophy

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

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

Yu. L. Ershov (auth.), Robert E. Butts, Jaakko Hintikka (eds.) — Logic, Foundations of Mathematics, and Computability Theory: Part One of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada-1975

Termini più frequenti