جمع التبرعات 15 سبتمبر 2024 – 1 أكتوبر 2024 حول جمع التبرعات

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

كم أعجبك هذا الكتاب؟

ما هي جودة الملف الذي تم تنزيله؟

قم بتنزيل الكتاب لتقييم الجودة

ما هي جودة الملفات التي تم تنزيلها؟

الفئات:

عام:

2017

الناشر:

Springer

اللغة:

english

الصفحات:

617

ISBN 10:

3319633341

ISBN 13:

9783319633343

سلسلة الكتب:

Outstanding Contributions to Logic 13

ملف:

PDF, 3.83 MB

IPFS:

,

english, 2017

تنزيل هذا الكتاب غير متاح بسبب شكوى من صاحب حقوق النشر والطبع

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

— Pravin Lal

قد تكون في قائمة إهتماماتك

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

أكثر المصطلحات والعبارات المستخدمة