Proofs and refutations/ the logic of mathemati-
Đã lưu trong:
| Tác giả chính: | LAKATOS, Inre |
|---|---|
| Định dạng: | Sách |
| Ngôn ngữ: | Tiếng Anh |
| Được phát hành: |
Cambridge
C.U.P.
1976
|
| Những chủ đề: | |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
Những quyển sách tương tự
Logic and Proof Techniques / Logic and Proof Techniques
Bằng: Eberle, Rolf A.
Được phát hành: (1996)
Bằng: Eberle, Rolf A.
Được phát hành: (1996)
Computability and logic /
Bằng: Boolos, George S.
Được phát hành: (1989)
Bằng: Boolos, George S.
Được phát hành: (1989)
Logic : A Philosophical Introduction /
Bằng: Kaminsky, Jack
Được phát hành: (1974)
Bằng: Kaminsky, Jack
Được phát hành: (1974)
Introduction to Mathematical Logic / Introduction to Mathematical Logic
Bằng: Church, Alonzo
Được phát hành: (1996)
Bằng: Church, Alonzo
Được phát hành: (1996)
Symbolic Logic/
Bằng: Copi, Irving M.
Được phát hành: (1979)
Bằng: Copi, Irving M.
Được phát hành: (1979)
Symbolic Logic/
Bằng: Lee, Harold Newton
Được phát hành: (1961)
Bằng: Lee, Harold Newton
Được phát hành: (1961)
Symbolic logic /
Bằng: Copi, Irving M.
Được phát hành: (1979)
Bằng: Copi, Irving M.
Được phát hành: (1979)
Principia mathematica to *56 /
Bằng: Whitehead, Alfred North
Được phát hành: (1997)
Bằng: Whitehead, Alfred North
Được phát hành: (1997)
Introduction to Symbolic Logic/
Bằng: Basson, A. H.
Được phát hành: (1960)
Bằng: Basson, A. H.
Được phát hành: (1960)
Introduction to mathematical logic /
Bằng: Church, Alonzo
Được phát hành: (1956)
Bằng: Church, Alonzo
Được phát hành: (1956)
A mathematical introduction to logic /
Bằng: Enderton, Herbert B.
Được phát hành: (2001)
Bằng: Enderton, Herbert B.
Được phát hành: (2001)
Formal Logic/ Its Scope and Limits
Bằng: Jeffrey, Richard C.
Được phát hành: (1967)
Bằng: Jeffrey, Richard C.
Được phát hành: (1967)
Language logic and mathematics/
Bằng: Kilmister, C.W
Được phát hành: (1967)
Bằng: Kilmister, C.W
Được phát hành: (1967)
Russell, Gödel, Tarski Selected Papers on the Philosophy of Logic and Mathematics /
Bằng: Rodríguez-Consuegra, Francisco
Được phát hành: (2025)
Bằng: Rodríguez-Consuegra, Francisco
Được phát hành: (2025)
Tractatus logico-philosophicus / tractatus logico philosophicus
Bằng: ডরঃঃমবহংঃবরহ, খঁফরিম
Được phát hành: (2001)
Bằng: ডরঃঃমবহংঃবরহ, খঁফরিম
Được phát hành: (2001)
Threshold logic /
Bằng: LEWIS, P.M
Được phát hành: (1967)
Bằng: LEWIS, P.M
Được phát hành: (1967)
Readings on Logic
Bằng: Copi
Được phát hành: (1972)
Bằng: Copi
Được phát hành: (1972)
Logic for mathematicians /
Bằng: Hamilton, Alan G., 1943-
Được phát hành: (2001)
Bằng: Hamilton, Alan G., 1943-
Được phát hành: (2001)
Logic for mathematicians
Bằng: Hamilton, Alan G., 1943-
Được phát hành: (2001)
Bằng: Hamilton, Alan G., 1943-
Được phát hành: (2001)
Fundamentals of symbolic logic/
Bằng: AMBROSE, Alice
Được phát hành: (1948)
Bằng: AMBROSE, Alice
Được phát hành: (1948)
First steps in model logic /
Bằng: Popkorn, Sally
Được phát hành: (1994)
Bằng: Popkorn, Sally
Được phát hành: (1994)
First steps in model logic
Bằng: Popkorn, Sally
Được phát hành: (1994)
Bằng: Popkorn, Sally
Được phát hành: (1994)
Meaning and partiality/
Bằng: Muskens, Reinhard
Được phát hành: (1995)
Bằng: Muskens, Reinhard
Được phát hành: (1995)
Logic and Set Theory /
Bằng: Philip, N.
Được phát hành: (1979)
Bằng: Philip, N.
Được phát hành: (1979)
Introduction to mathematical logic; set theory / computable functions, model theory.
Bằng: MALITZ, Jerome
Được phát hành: (1979)
Bằng: MALITZ, Jerome
Được phát hành: (1979)
Studying deductive logic/
Bằng: Berger, Fred R.
Được phát hành: (1977)
Bằng: Berger, Fred R.
Được phát hành: (1977)
The Essence of Logic / The Essence of Logic
Bằng: Kelly, John
Được phát hành: (1997)
Bằng: Kelly, John
Được phát hành: (1997)
Ancient self-refutation: the logic and history of the self-refutation argument from Democritus to Augustine/
Bằng: Castagnoli, Luca
Được phát hành: (2015)
Bằng: Castagnoli, Luca
Được phát hành: (2015)
Introduction to mathematical philosophy/
Bằng: Russell, Bertrand
Được phát hành: (1993)
Bằng: Russell, Bertrand
Được phát hành: (1993)
An introduction to non-classical logic : from if to is / from if to is
Bằng: Priest, Graham
Được phát hành: (2008)
Bằng: Priest, Graham
Được phát hành: (2008)
Introduction to Symbolic Logic / Introduction to Symbolic Logic
Bằng: Basson, A. H.
Được phát hành: (1993)
Bằng: Basson, A. H.
Được phát hành: (1993)
Deductive logic/
Bằng: Leblanc, Hugues
Được phát hành: (1976)
Bằng: Leblanc, Hugues
Được phát hành: (1976)
Notes on logic and set theory /
Bằng: Johnstone, P.T
Được phát hành: (1987)
Bằng: Johnstone, P.T
Được phát hành: (1987)
Varieties of constructive mathematics /
Bằng: Bridges, Douglas
Bằng: Bridges, Douglas
Leibnits and the seventeenth-century /
Bằng: Meyer, R.W
Được phát hành: (1952)
Bằng: Meyer, R.W
Được phát hành: (1952)
Varieties of constructive mathematics
Bằng: Bridges, Douglas
Được phát hành: (1987)
Bằng: Bridges, Douglas
Được phát hành: (1987)
Set theory, Logic and their limitations / Moshe Machover.
Bằng: Machover ,Moshe
Được phát hành: (1996)
Bằng: Machover ,Moshe
Được phát hành: (1996)
Introduction to logic/
Bằng: Suppes, Patrick
Được phát hành: (1977)
Bằng: Suppes, Patrick
Được phát hành: (1977)
Introduction to logic/
Bằng: Suppes, Patrick
Được phát hành: (1977)
Bằng: Suppes, Patrick
Được phát hành: (1977)
Logic, methodology and philosophy of science; proceedings of the 1964 international
Được phát hành: (1965)
Được phát hành: (1965)
Những quyển sách tương tự
-
Logic and Proof Techniques / Logic and Proof Techniques
Bằng: Eberle, Rolf A.
Được phát hành: (1996) -
Computability and logic /
Bằng: Boolos, George S.
Được phát hành: (1989) -
Logic : A Philosophical Introduction /
Bằng: Kaminsky, Jack
Được phát hành: (1974) -
Introduction to Mathematical Logic / Introduction to Mathematical Logic
Bằng: Church, Alonzo
Được phát hành: (1996) -
Symbolic Logic/
Bằng: Copi, Irving M.
Được phát hành: (1979)