Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

The philosophy of mathematics

Main
Mathematics
The philosophy of mathematics

The philosophy of mathematics

Jaakko Hintikka

0 / 0

Avez-vous aimé ce livre?

Quelle est la qualité du fichier téléchargé?

Veuillez télécharger le livre pour apprécier sa qualité

Quelle est la qualité des fichiers téléchargés?

PRIORITY SHIPPING on all orders!! Cover and pages show their age but are in great shape. No markings or highlights inside.

Catégories:

Année:

1969

Editeur::

Oxford U.P

Langue:

english

Pages:

96

ISBN 10:

0198750110

ISBN 13:

9780198750116

Collection:

Oxford readings in philosophy

Fichier:

DJVU, 4.72 MB

IPFS:

,

english, 1969

Lire en ligne

La conversion en est effectuée

La conversion en a échoué

Cela peut vous intéresser

Jaakko Hintikka (editor) — The Philosophy of Mathematics (Readings in Philosophy)

S.C. Kleene — Introduction to Metamathematics

Kurt Gödel / Solomon Feferman et al. — Collected Works, Vol. I: Publications 1929-1936 (Oxford, 1986)

Bar-Hillel Y. (ed.) — Logic, methodology and philosophy of science II: Proc. Jerusalem, 1964

Evert Willem Beth — The foundations of mathematics: A study in the philosophy of science

Hintikka J.(ed) — The Philosophy of Mathematics

Beth, Evert W — The foundations of mathematics: A study in the philosophy of science

Leary C.C. — A friendly introduction to mathematical logic

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

Kurt Gödel, Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort — Kurt Gödel: Collected works. Publications 1929-1936

Solomon Feferman — In the Light of Logic

Jaakko Hintikka — Philosophy of Mathematics

Geoffrey Hunter — Metalogic

Geoffrey Hunter — Metalogic: An Introduction to the Metatheory of Standard First Order Logic

H.-D. Ebbinghaus, J. Flum, W. Thomas — Mathematical Logic

Kurt Gödel — Kurt Gödel: Collected Works volume I

G T Kneebone — Mathematical logic and the foundations of mathematics

Gabbay, Dov M.(Author) — Handbook of the History of Logic, Volume 5 : Logic from Russell to Church

Th. Skolem, G. Hasenjaeger, G. Kreisel, A. Robinson, Hao Wang, L. Henkin and J. ЕЃoЕ› (Eds.) — Mathematical Interpretation of Formal Systems

Evert W. Beth (Eds.) — The Foundations of Mathematics

Mostowski A. — Foundational Studies: Selected works

Mostowski A. — Foundational Studies: Selected Works

C. J. Ash, J. N. Crossley, C. J. Brickhill, J. C. Stillwell, N. H. Williams — What is mathematical logic?

Stephen Cole Kleene — Mathematical Logic

Juliette Kennedy — Gödel, Tarski and the Lure of Natural Language: Logical Entanglement, Formalism Freeness

Hunter G. — Metalogic: An introduction to the metatheory of standard first order logic

Jaakko Hintikka — The Principles of Mathematics Revisited

Jean van Heijenoort — From Frege to Gödel: A source book in mathematical logic, 1879-1931

Skolem T., Hasenjaeger G., Kreisel G., Robinson A., et al. — Mathematical interpretation of formal systems

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

Dov M. Gabbay, Franz Guenthner (eds.) — Handbook of Philosophical Logic

John T. Baldwin — Model Theory and the Philosophy of Mathematical Practice: Formalization without Foundationalism

Andrzej Mostowski — Foundational Studies, Selected Works Vol I

Odifreddi, Piergiorgio Odifreddi — Kreiseliana: About and Around Georg Kreisel

R. Parikh — Logic colloquium. Symposium on logic, Boston, 1972-73

Mots Clefs