The philosophy of mathematics

Main
Mathematics
The philosophy of mathematics

The philosophy of mathematics

Jaakko Hintikka

0 / 0

آپ کو یہ کتاب کتنی پسند ہے؟

فائل کی کوالٹی کیا ہے؟

کوالٹی کا جائزہ لینے کے لیے کتاب ڈاؤن لوڈ کریں

فائل کی کوالٹی کیا ہے؟

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

سب زمرہ:

سال:

1969

ناشر کتب:

Oxford U.P

زبان:

english

صفحات:

96

ISBN 10:

0198750110

ISBN 13:

9780198750116

سیریز:

Oxford readings in philosophy

فائل:

DJVU, 4.72 MB

IPFS:

,

english, 1969

آن لائن پڑھیں

میں تبدیلی جاری ہے۔

میں تبدیلی ناکام ہو گئی۔

آپ کو دلچسپی ہوسکتی ہے

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

اہم جملے