Varieties of constructive mathematics
Сохранить в:
| Главный автор: | |
|---|---|
| Формат: | |
| Опубликовано: |
Cambridge Univ. Pr.
1987
|
| Предметы: | |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
Схожие документы
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 /
по: Copi, Irving M.
Опубликовано: (1979)
по: Copi, Irving M.
Опубликовано: (1979)
Symbolic Logic/
по: Lee, Harold Newton
Опубликовано: (1961)
по: Lee, Harold Newton
Опубликовано: (1961)
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)
Threshold logic /
по: LEWIS, P.M
Опубликовано: (1967)
по: LEWIS, P.M
Опубликовано: (1967)
Tractatus logico-philosophicus / tractatus logico philosophicus
по: ডরঃঃমবহংঃবরহ, খঁফরিম
Опубликовано: (2001)
по: ডরঃঃমবহংঃবরহ, খঁফরিম
Опубликовано: (2001)
Logic and Proof Techniques / Logic and Proof Techniques
по: Eberle, Rolf A.
Опубликовано: (1996)
по: Eberle, Rolf A.
Опубликовано: (1996)
Computability and logic /
по: Boolos, George S.
Опубликовано: (1989)
по: Boolos, George S.
Опубликовано: (1989)