Varieties of constructive mathematics
Պահպանված է:
| Հիմնական հեղինակ: | |
|---|---|
| Ձևաչափ: | Գիրք |
| Հրապարակվել է: |
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)
Fundamentals of symbolic logic/
: AMBROSE, Alice
Հրապարակվել է: (1948)
: AMBROSE, Alice
Հրապարակվել է: (1948)
Tractatus logico-philosophicus / tractatus logico philosophicus
: ডরঃঃমবহংঃবরহ, খঁফরিম
Հրապարակվել է: (2001)
: ডরঃঃমবহংঃবরহ, খঁফরিম
Հրապարակվել է: (2001)
Logic and Proof Techniques / Logic and Proof Techniques
: Eberle, Rolf A.
Հրապարակվել է: (1996)
: Eberle, Rolf A.
Հրապարակվել է: (1996)
Readings on Logic
: Copi
Հրապարակվել է: (1972)
: Copi
Հրապարակվել է: (1972)