Philosophy of Mathematics

Main
Mathematics
Philosophy of Mathematics

Philosophy of Mathematics

Jaakko Hintikka

0 / 0

Sukakah Anda buku ini?

Bagaimana kualitas file yang diunduh?

Unduh buku untuk menilai kualitasnya

Bagaimana kualitas file yang diunduh?

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

Kategori:

Tahun:

1969

Penerbit:

Oxford University Press

Bahasa:

english

Halaman:

192

ISBN 10:

0198750110

ISBN 13:

9780198750116

Nama seri:

Readings in Philosophy

File:

DJVU, 2.20 MB

IPFS:

,

english, 1969

Membaca daring

Pengubahan menjadi sedang diproses

Pengubahan menjadi gagal

Mungkin Anda tertarik

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

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

unknown — Handbook of Philosophical Logic

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

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

Jaakko Hintikka — The 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

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

B. Van Rootselaar, J. F. Staal — Logic, Methodology and Philosophy of Science III (Proceedings of the third international congress for logic, methodology and philosophy of science, Amsterdam 1967)

G. Lolli, G. Longo, A. Marcja — Logic Colloquium '82: Proceedings Florence, 1982

H. D. Ebbinghaus, J. Fernandez-Prida, M. Garrido, D. Lascar — Logic Colloquium '87: Proceedings Granada, 1987

J. N. Crossley et al. — 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 Godel: A Source Book in Mathematical Logic, 1879-1931 (Source Books in the History of the Sciences)

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

Wolfgang Rautenberg [Rautenberg, Wolfgang] — A Concise Introduction to Mathematical Logic

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

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

Jean Van Heijenoort (editor) — From Frege to Godel: A Source Book in Mathematical Logic, 1879-1931

Istilah kunci