Значок книги

Introduction to mathematical logic /

Сохранить в:

Библиографические подробности
Главный автор:	Church, Alonzo
Формат:	‌
Опубликовано:	Princeton: Princeton University Press, c1956.
Предметы:	Logic, Symbolic and mathematical
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

Схожие документы

Introduction to Mathematical Logic / Introduction to Mathematical Logic
по: Church, Alonzo
Опубликовано: (1996)

A mathematical introduction to logic /
по: Enderton, Herbert B.
Опубликовано: (2001)

Introduction to Symbolic Logic/
по: Basson, A. H.
Опубликовано: (1960)

Introduction to Symbolic Logic / Introduction to Symbolic Logic
по: Basson, A. H.
Опубликовано: (1993)

Symbolic Logic/
по: Copi, Irving M.
Опубликовано: (1979)

Symbolic Logic/
по: Lee, Harold Newton
Опубликовано: (1961)

Symbolic logic /
по: Copi, Irving M.
Опубликовано: (1979)

The Essence of Logic / The Essence of Logic
по: Kelly, John
Опубликовано: (1997)

Formal Logic/ Its Scope and Limits
по: Jeffrey, Richard C.
Опубликовано: (1967)

Logic : A Philosophical Introduction /
по: Kaminsky, Jack
Опубликовано: (1974)

Introduction to mathematical logic; set theory / computable functions, model theory.
по: MALITZ, Jerome
Опубликовано: (1979)

Logic for mathematicians
по: Hamilton, Alan G., 1943-
Опубликовано: (2001)

Logic for mathematicians /
по: Hamilton, Alan G., 1943-
Опубликовано: (2001)

Introduction to logic/
по: Suppes, Patrick
Опубликовано: (1977)

Introduction to logic/
по: Suppes, Patrick
Опубликовано: (1977)

An introduction to non-classical logic : from if to is / from if to is
по: Priest, Graham
Опубликовано: (2008)

A Concise Introduction to Logic
по: Hurley
Опубликовано: (2006)

Studying deductive logic/
по: Berger, Fred R.
Опубликовано: (1977)

First steps in model logic
по: Popkorn, Sally
Опубликовано: (1994)

First steps in model logic /
по: Popkorn, Sally
Опубликовано: (1994)

Logic and Set Theory /
по: Philip, N.
Опубликовано: (1979)

Threshold logic /
по: LEWIS, P.M
Опубликовано: (1967)

Readings on Logic
по: Copi
Опубликовано: (1972)

Symbolic Logic
по: Copi
Опубликовано: (1995)

Readings on Logic /
по: Copi, Irving M.
Опубликовано: (1972)

Computability and logic /
по: Boolos, George S.
Опубликовано: (1989)

Deductive logic/
по: Leblanc, Hugues
Опубликовано: (1976)

Language logic and mathematics/
по: Kilmister, C.W
Опубликовано: (1967)

Logic and Proof Techniques / Logic and Proof Techniques
по: Eberle, Rolf A.
Опубликовано: (1996)

Fundamentals of symbolic logic/
по: AMBROSE, Alice
Опубликовано: (1948)

Elements of mathematical logic/
по: NOVIKOV, P.S
Опубликовано: (1964)

Elements of mathematical logic/
по: LUKASIEWICZ, Jan
Опубликовано: (1963)

Logic: Informal, Symbolic and Inductive
по: Chakraborti
Опубликовано: (2007)

Varieties of constructive mathematics
по: Bridges, Douglas
Опубликовано: (1987)

Varieties of constructive mathematics /
по: Bridges, Douglas

Contributions to mathematical logic: proceedings of the logic colloquium, Hannover 1966/
по: SCHMIDT, H. Arnold ed
Опубликовано: (1968)

Formal Logic : Its Scope and Limits /
по: Jeffrey, Richard C.
Опубликовано: (1967)

Understanding Symbolic Logic
по: Klenk
Опубликовано: (2008)

Mathematical logic and formal systemss: a collection of papers in honor of professor newton C. A. da costa
Опубликовано: (1985)

Introduction to mathematical philosophy/
по: Russell, Bertrand
Опубликовано: (1993)