Varieties of constructive mathematics
שמור ב:
| מחבר ראשי: | |
|---|---|
| פורמט: | ספר |
| יצא לאור: |
Cambridge Univ. Pr.
1987
|
| נושאים: | |
| תגים: |
הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
|
פריטים דומים
Varieties of constructive mathematics /
מאת: Bridges, Douglas
מאת: Bridges, Douglas
Logic for mathematicians
מאת: Hamilton, Alan G., 1943-
יצא לאור: (2001)
מאת: Hamilton, Alan G., 1943-
יצא לאור: (2001)
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)
Tractatus logico-philosophicus/
מאת: Wittgenstein, Ludwig, 1889-1951
יצא לאור: (1974)
מאת: Wittgenstein, Ludwig, 1889-1951
יצא לאור: (1974)
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)
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)
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)
An introduction to non-classical logic : from if to is / from if to is
מאת: Priest, Graham
יצא לאור: (2008)
מאת: Priest, Graham
יצא לאור: (2008)
Logic : A Philosophical Introduction /
מאת: Kaminsky, Jack
יצא לאור: (1974)
מאת: Kaminsky, Jack
יצא לאור: (1974)
Principia mathematica to *56 /
מאת: Whitehead, Alfred North
יצא לאור: (1997)
מאת: Whitehead, Alfred North
יצא לאור: (1997)
Discrete Mathematics
מאת: Vatsa, B. S.
מאת: Vatsa, B. S.
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)
Discrete Mathematics and Its Applications
מאת: Rosen, K. H.
יצא לאור: (1999)
מאת: Rosen, K. H.
יצא לאור: (1999)
Schaum's Outline of Discrete Mathematics
מאת: Lipschutz, S.
יצא לאור: (1997)
מאת: Lipschutz, S.
יצא לאור: (1997)
Fundamentals of symbolic logic/
מאת: AMBROSE, Alice
יצא לאור: (1948)
מאת: AMBROSE, Alice
יצא לאור: (1948)