Varieties of constructive mathematics
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Livre |
| Publié: |
Cambridge Univ. Pr.
1987
|
| Sujets: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
Varieties of constructive mathematics /
par: Bridges, Douglas
par: Bridges, Douglas
Logic for mathematicians
par: Hamilton, Alan G., 1943-
Publié: (2001)
par: Hamilton, Alan G., 1943-
Publié: (2001)
Introduction to Mathematical Logic / Introduction to Mathematical Logic
par: Church, Alonzo
Publié: (1996)
par: Church, Alonzo
Publié: (1996)
Introduction to mathematical logic /
par: Church, Alonzo
Publié: (1956)
par: Church, Alonzo
Publié: (1956)
A mathematical introduction to logic /
par: Enderton, Herbert B.
Publié: (2001)
par: Enderton, Herbert B.
Publié: (2001)
Tractatus logico-philosophicus/
par: Wittgenstein, Ludwig, 1889-1951
Publié: (1974)
par: Wittgenstein, Ludwig, 1889-1951
Publié: (1974)
Formal Logic/ Its Scope and Limits
par: Jeffrey, Richard C.
Publié: (1967)
par: Jeffrey, Richard C.
Publié: (1967)
Symbolic Logic/
par: Copi, Irving M.
Publié: (1979)
par: Copi, Irving M.
Publié: (1979)
Introduction to Symbolic Logic/
par: Basson, A. H.
Publié: (1960)
par: Basson, A. H.
Publié: (1960)
Symbolic Logic/
par: Lee, Harold Newton
Publié: (1961)
par: Lee, Harold Newton
Publié: (1961)
Symbolic logic /
par: Copi, Irving M.
Publié: (1979)
par: Copi, Irving M.
Publié: (1979)
Constructive order types/
par: CROSSLEY, John N.
Publié: (1969)
par: CROSSLEY, John N.
Publié: (1969)
Essential Computer Mathematics
par: Lipschutz, Seymour
Publié: (1982)
par: Lipschutz, Seymour
Publié: (1982)
The Essence of Logic / The Essence of Logic
par: Kelly, John
Publié: (1997)
par: Kelly, John
Publié: (1997)
Introduction to Symbolic Logic / Introduction to Symbolic Logic
par: Basson, A. H.
Publié: (1993)
par: Basson, A. H.
Publié: (1993)
Introduction to mathematical logic; set theory / computable functions, model theory.
par: MALITZ, Jerome
Publié: (1979)
par: MALITZ, Jerome
Publié: (1979)
Logic for mathematicians /
par: Hamilton, Alan G., 1943-
Publié: (2001)
par: Hamilton, Alan G., 1943-
Publié: (2001)
Leibnits and the seventeenth-century /
par: Meyer, R.W
Publié: (1952)
par: Meyer, R.W
Publié: (1952)
First steps in model logic /
par: Popkorn, Sally
Publié: (1994)
par: Popkorn, Sally
Publié: (1994)
First steps in model logic
par: Popkorn, Sally
Publié: (1994)
par: Popkorn, Sally
Publié: (1994)
Introduction to mathematical philosophy/
par: Russell, Bertrand
Publié: (1993)
par: Russell, Bertrand
Publié: (1993)
Studying deductive logic/
par: Berger, Fred R.
Publié: (1977)
par: Berger, Fred R.
Publié: (1977)
An introduction to non-classical logic : from if to is / from if to is
par: Priest, Graham
Publié: (2008)
par: Priest, Graham
Publié: (2008)
Logic : A Philosophical Introduction /
par: Kaminsky, Jack
Publié: (1974)
par: Kaminsky, Jack
Publié: (1974)
Principia mathematica to *56 /
par: Whitehead, Alfred North
Publié: (1997)
par: Whitehead, Alfred North
Publié: (1997)
Discrete Mathematics
par: Vatsa, B. S.
par: Vatsa, B. S.
Logic and Set Theory /
par: Philip, N.
Publié: (1979)
par: Philip, N.
Publié: (1979)
Mathematical logic and formal systemss: a collection of papers in honor of professor newton C. A. da costa
Publié: (1985)
Publié: (1985)
Language logic and mathematics/
par: Kilmister, C.W
Publié: (1967)
par: Kilmister, C.W
Publié: (1967)
Discrete Mathematics and Its Applications
par: Rosen, K. H.
Publié: (1999)
par: Rosen, K. H.
Publié: (1999)
Schaum's Outline of Discrete Mathematics
par: Lipschutz, S.
Publié: (1997)
par: Lipschutz, S.
Publié: (1997)
Fundamentals of symbolic logic/
par: AMBROSE, Alice
Publié: (1948)
par: AMBROSE, Alice
Publié: (1948)