Tăng quỹ 15 tháng 9 2024 – 1 tháng 10 2024 Về việc thu tiền

Proof, Logic and Formalization

Main
Proof, Logic and Formalization

Proof, Logic and Formalization

Michael Detlefsen (edt) [Michael Detlefsen (edt)]

0 / 0

Bạn thích cuốn sách này tới mức nào?

Chất lượng của file scan thế nào?

Xin download sách để đánh giá chất lượng sách

Chất lượng của file tải xuống thế nào?

Social Sciences

Ngôn ngữ:

spanish

ISBN 10:

0415023351

ISBN 13:

9780415023351

File:

EPUB, 671 KB

IPFS:

,

spanish0

Đọc online

Hoàn thành chuyển đổi thành trong

Chuyển đổi thành không thành công

Có thể bạn quan tâm

Michael Detlefsen (edt) — Proof, Logic and Formalization

Michael Detlefsen (edt) — Proof, Logic and Formalization

A. W. Moore — Gödel’s Theorem.. A Very Short Introduction

CURTIS FRANKS — THE AUTONOMY OF MATHEMATICAL KNOWLEDGE: Hilbert’s Program Revisited

A. W. Moore — Gödel's Theorem: A Very Short Introduction

Wilfried Sieg — Hilbert’s Programs and Beyond

Ernest Nagel — Godel's Proof

Stuart Shanker — Godel’s Theorem in Focus (Philosophers in Focus)

Michael Detlefsen — Proof and Knowledge in Mathematics

Detlefsen M. (Ed) — Proof, Logic and Formalization

Zakharyaschev, Michael; Goncharov, S. S.; Gabbay, Dov M et al. (eds.) — Mathematical problems from applied logic I: Logics for the XXIst century

Michael Detlefsen — Proof, Logic and Formalization

Mary Tiles — Mathematics and the Image of Reason

Stuart G. Shanker (editor) — Gödel’s Theorem in Focus

Michael Detlefsen — Proof and Knowledge in Mathematics

Ernest Nagel, James R. Newman — Gödel's Proof

Curtis Franks — The Autonomy of Mathematical Knowledge: Hilbert's Program Revisited

Jan von Plato — The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

Stuart Shanker — Gödel's Theorem in Focus

Michael D. Resnik — Frege and the Philosophy of Mathematics

Torkel Franzén — Inexhaustibility: A Non-Exhaustive Treatment

Jan von Plato — The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

Francesco Berto(auth.) — There's Something about Gödel: The Complete Guide to the Incompleteness Theorem

Malpass, Alex — An introduction to the history of philosophical and formal logic: from Aristotle to Tarski

Alex Malpass, Marianna Antonutti Marfori — The History of Philosophical and Formal Logic: From Aristotle to Tarski

Torkel Franzén — Inexhaustibility: A Non-Exhaustive Treatment

Godehard Link — Formalism and Beyond

Roman Murawski — Essays in the Philosophy and History of Logic and Mathematics

Jan von Plato — The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

Từ khóa thường sử dụng nhất