Varieties of constructive mathematics
Saved in:
| 主要作者: | |
|---|---|
| 格式: | 圖書 |
| 出版: |
Cambridge Univ. Pr.
1987
|
| 主題: | |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
相似書籍
Logic for mathematicians
由: Hamilton, Alan G., 1943-
出版: (2001)
由: Hamilton, Alan G., 1943-
出版: (2001)
Varieties of constructive mathematics /
由: Bridges, Douglas
由: Bridges, Douglas
Tractatus logico-philosophicus/
由: Wittgenstein, Ludwig, 1889-1951
出版: (1974)
由: Wittgenstein, Ludwig, 1889-1951
出版: (1974)
Introduction to Mathematical Logic / Introduction to Mathematical Logic
由: Church, Alonzo
出版: (1996)
由: Church, Alonzo
出版: (1996)
Introduction to mathematical logic /
由: Church, Alonzo
出版: (1956)
由: Church, Alonzo
出版: (1956)
A mathematical introduction to logic /
由: Enderton, Herbert B.
出版: (2001)
由: Enderton, Herbert B.
出版: (2001)
Formal Logic/ Its Scope and Limits
由: Jeffrey, Richard C.
出版: (1967)
由: Jeffrey, Richard C.
出版: (1967)
Symbolic Logic/
由: Copi, Irving M.
出版: (1979)
由: Copi, Irving M.
出版: (1979)
Introduction to Symbolic Logic/
由: Basson, A. H.
出版: (1960)
由: Basson, A. H.
出版: (1960)
Symbolic Logic/
由: Lee, Harold Newton
出版: (1961)
由: Lee, Harold Newton
出版: (1961)
Symbolic logic /
由: Copi, Irving M.
出版: (1979)
由: Copi, Irving M.
出版: (1979)
Constructive order types/
由: CROSSLEY, John N.
出版: (1969)
由: CROSSLEY, John N.
出版: (1969)
Essential Computer Mathematics
由: Lipschutz, Seymour
出版: (1982)
由: Lipschutz, Seymour
出版: (1982)
The Essence of Logic / The Essence of Logic
由: Kelly, John
出版: (1997)
由: Kelly, John
出版: (1997)
Introduction to Symbolic Logic / Introduction to Symbolic Logic
由: Basson, A. H.
出版: (1993)
由: Basson, A. H.
出版: (1993)
Introduction to mathematical logic; set theory / computable functions, model theory.
由: MALITZ, Jerome
出版: (1979)
由: MALITZ, Jerome
出版: (1979)
First steps in model logic
由: Popkorn, Sally
出版: (1994)
由: Popkorn, Sally
出版: (1994)
Logic for mathematicians /
由: Hamilton, Alan G., 1943-
出版: (2001)
由: Hamilton, Alan G., 1943-
出版: (2001)
Leibnits and the seventeenth-century /
由: Meyer, R.W
出版: (1952)
由: Meyer, R.W
出版: (1952)
First steps in model logic /
由: Popkorn, Sally
出版: (1994)
由: Popkorn, Sally
出版: (1994)
Introduction to mathematical philosophy/
由: Russell, Bertrand
出版: (1993)
由: Russell, Bertrand
出版: (1993)
Studying deductive logic/
由: Berger, Fred R.
出版: (1977)
由: Berger, Fred R.
出版: (1977)
Logic : A Philosophical Introduction /
由: Kaminsky, Jack
出版: (1974)
由: Kaminsky, Jack
出版: (1974)
An introduction to non-classical logic : from if to is / from if to is
由: Priest, Graham
出版: (2008)
由: Priest, Graham
出版: (2008)
Discrete Mathematics
由: Vatsa, B. S.
由: Vatsa, B. S.
Principia mathematica to *56 /
由: Whitehead, Alfred North
出版: (1997)
由: Whitehead, Alfred North
出版: (1997)
Logic and Set Theory /
由: Philip, N.
出版: (1979)
由: Philip, N.
出版: (1979)
Mathematical logic and formal systemss: a collection of papers in honor of professor newton C. A. da costa
出版: (1985)
出版: (1985)
Language logic and mathematics/
由: Kilmister, C.W
出版: (1967)
由: Kilmister, C.W
出版: (1967)
Schaum's Outline of Discrete Mathematics
由: Lipschutz, S.
出版: (1997)
由: Lipschutz, S.
出版: (1997)
Discrete Mathematics and Its Applications
由: Rosen, K. H.
出版: (1999)
由: Rosen, K. H.
出版: (1999)
Threshold logic /
由: LEWIS, P.M
出版: (1967)
由: LEWIS, P.M
出版: (1967)