The foundations of mathematics: A study in the philosophy...

Main
Society, Politics & Philosophy - General & Miscellaneous Philosophy
The foundations of mathematics: A study...

The foundations of mathematics: A study in the philosophy of science

Beth, Evert W

0 / 0

როგორ მოგეწონათ ეს წიგნი?

როგორი ხარისხისაა ეს ფაილი?

ჩატვირთეთ, ხარისხის შესაფასებლად

როგორი ხარისხისაა ჩატვირთული ფაილი?

Provability, Computability and Reflection.
Abstract: Provability, Computability and Reflection

კატეგორია:

Society, Politics & Philosophy - General & Miscellaneous Philosophy

წელი:

1966

გამოცემა:

2ed.

გამომცემლობა:

Harper & Row;Elsevier

ენა:

english

გვერდები:

781

ISBN 10:

0080957455

ISBN 13:

9780080957456

სერია:

Studies in logic and the foundations of mathematics

ფაილი:

DJVU, 5.30 MB

IPFS:

,

english, 1966

ონლაინ წაკითხვა

ჩატვირთვა (djvu, 5.30 MB)

ხორციელდება კონვერტაციის -ში

კონვერტაციის -ში ვერ მოხერხდა

შესაძლოა დაგაინტერესოთ

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

Christopher C. Leary — A Friendly Introduction to Mathematical Logic

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

Joan Roselló — From Foundations to Philosophy of Mathematics

Hao Wang — A survey of mathematical logic

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

Jaako Hintikka — On Gödel

Wang H. — A survey of mathematical logic

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

Abraham A. Fraenkel, Yehoshua Bar-Hillel, Azriel Levy — Foundations of Set Theory

Pogorzelski, Witold Adam — Notions and theorems of elementary formal logic

Abraham A. Fraenkel, Yehoshua Bar-Hillel, Azriel Levy — Foundations of Set Theory

Leary C.C. — A friendly introduction to mathematical 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: Volume I: Publications 1929-1936

S. Krajewski, S. Krajewski, W. Marek, G. Mirkowska, A. Salwicki, J. Wolenski (eds.) — Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science:In Recognition of Professor Andrzej Grzegorczyk

Jaakko Hintikka — The philosophy of mathematics

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

Abraham A. Fraenkel, Yehoshua Bar-Hillel, Azriel Levy — Foundations of Set Theory

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

Hao Wang — A Survey of Mathematical Logic.

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?

Paul Benacerraf, Hilary Putnam — Philosophy of Mathematics: Selected Readings

Stuart Shanker — Gödel's Theorem in Focus

Robert L. Rogers (Auth.) — Mathematical Logic and Formalized Theories. A Survey of Basic Concepts and Results

Th. Skolem — Mathematical Interpretation of Formal Systems

Abraham A. Fraenkel, Yehoshua Bar-Hillel, Azriel Levy — Foundations of Set Theory

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

Petr Hájek (editor) — Gödel '96: Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy (Lecture Notes in Logic)

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

Petr Hajek — Goedel '96: Proc. Brno 1996

საკვანძო ფრაზები