Elements of mathematical logic/
Сохранить в:
| Главный автор: | |
|---|---|
| Формат: | |
| Язык: | английский |
| Опубликовано: |
Edinburgh:
Oliver and Boyd;
1964.
|
| Предметы: | |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
Схожие документы
Elements of mathematical logic/
по: LUKASIEWICZ, Jan
Опубликовано: (1963)
по: LUKASIEWICZ, Jan
Опубликовано: (1963)
Introduction to Mathematical Logic / Introduction to Mathematical Logic
по: Church, Alonzo
Опубликовано: (1996)
по: Church, Alonzo
Опубликовано: (1996)
Introduction to mathematical logic /
по: Church, Alonzo
Опубликовано: (1956)
по: Church, Alonzo
Опубликовано: (1956)
Contributions to mathematical logic: proceedings of the logic colloquium, Hannover 1966/
по: SCHMIDT, H. Arnold ed
Опубликовано: (1968)
по: SCHMIDT, H. Arnold ed
Опубликовано: (1968)
A mathematical introduction to logic /
по: Enderton, Herbert B.
Опубликовано: (2001)
по: Enderton, Herbert B.
Опубликовано: (2001)
Logic With Trees: an introduction to symbolic logic/
по: Howson, Colin
Опубликовано: (1997)
по: Howson, Colin
Опубликовано: (1997)
Combinatory logic/
по: CURRY, Haskell B.
Опубликовано: (1968)
по: CURRY, Haskell B.
Опубликовано: (1968)
Symbolic Logic/
по: Copi, Irving M.
Опубликовано: (1979)
по: Copi, Irving M.
Опубликовано: (1979)
Symbolic Logic/
по: Lee, Harold Newton
Опубликовано: (1961)
по: Lee, Harold Newton
Опубликовано: (1961)
Symbolic logic /
по: Copi, Irving M.
Опубликовано: (1979)
по: Copi, Irving M.
Опубликовано: (1979)
Threshold logic /
по: LEWIS, P.M
Опубликовано: (1967)
по: LEWIS, P.M
Опубликовано: (1967)
The Essence of Logic / The Essence of Logic
по: Kelly, John
Опубликовано: (1997)
по: Kelly, John
Опубликовано: (1997)
Formal Logic/ Its Scope and Limits
по: Jeffrey, Richard C.
Опубликовано: (1967)
по: Jeffrey, Richard C.
Опубликовано: (1967)
Introduction to Symbolic Logic/
по: Basson, A. H.
Опубликовано: (1960)
по: Basson, A. H.
Опубликовано: (1960)
New Methods in symbolic logic/
по: STANDLEY, Gerald B.
Опубликовано: (1971)
по: STANDLEY, Gerald B.
Опубликовано: (1971)
Introduction to mathematical logic; set theory / computable functions, model theory.
по: MALITZ, Jerome
Опубликовано: (1979)
по: MALITZ, Jerome
Опубликовано: (1979)
Introduction to Symbolic Logic / Introduction to Symbolic Logic
по: Basson, A. H.
Опубликовано: (1993)
по: Basson, A. H.
Опубликовано: (1993)
Computability and logic /
по: Boolos, George S.
Опубликовано: (1989)
по: Boolos, George S.
Опубликовано: (1989)
Logic for mathematicians /
по: Hamilton, Alan G., 1943-
Опубликовано: (2001)
по: Hamilton, Alan G., 1943-
Опубликовано: (2001)
Logic for mathematicians
по: Hamilton, Alan G., 1943-
Опубликовано: (2001)
по: Hamilton, Alan G., 1943-
Опубликовано: (2001)
Language logic and mathematics/
по: Kilmister, C.W
Опубликовано: (1967)
по: Kilmister, C.W
Опубликовано: (1967)
Logic : A Philosophical Introduction /
по: Kaminsky, Jack
Опубликовано: (1974)
по: Kaminsky, Jack
Опубликовано: (1974)
Fundamentals of symbolic logic/
по: AMBROSE, Alice
Опубликовано: (1948)
по: AMBROSE, Alice
Опубликовано: (1948)
The Axiomatic method: an introduction to mathematical logic/
по: LIGHTSTONE, A.H
Опубликовано: (1964)
по: LIGHTSTONE, A.H
Опубликовано: (1964)
Studying deductive logic/
по: Berger, Fred R.
Опубликовано: (1977)
по: Berger, Fred R.
Опубликовано: (1977)
First steps in model logic /
по: Popkorn, Sally
Опубликовано: (1994)
по: Popkorn, Sally
Опубликовано: (1994)
First steps in model logic
по: Popkorn, Sally
Опубликовано: (1994)
по: Popkorn, Sally
Опубликовано: (1994)
Logic and Set Theory /
по: Philip, N.
Опубликовано: (1979)
по: Philip, N.
Опубликовано: (1979)
Deductive logic/
по: Leblanc, Hugues
Опубликовано: (1976)
по: Leblanc, Hugues
Опубликовано: (1976)
Readings on Logic /
по: Copi, Irving M.
Опубликовано: (1972)
по: Copi, Irving M.
Опубликовано: (1972)
Readings on Logic
по: Copi
Опубликовано: (1972)
по: Copi
Опубликовано: (1972)
Symbolic Logic
по: Copi
Опубликовано: (1995)
по: Copi
Опубликовано: (1995)
Logic and Proof Techniques / Logic and Proof Techniques
по: Eberle, Rolf A.
Опубликовано: (1996)
по: Eberle, Rolf A.
Опубликовано: (1996)
An introduction to non-classical logic : from if to is / from if to is
по: Priest, Graham
Опубликовано: (2008)
по: Priest, Graham
Опубликовано: (2008)
Varieties of constructive mathematics /
по: Bridges, Douglas
по: Bridges, Douglas
Varieties of constructive mathematics
по: Bridges, Douglas
Опубликовано: (1987)
по: Bridges, Douglas
Опубликовано: (1987)