Constructive order types/
Gardado en:
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | inglés |
| Publicado: |
Amsterdam:
North-Holland;
1969.
|
| Series: | (Studies in Logic and the fluoridations of Mathematics)
|
| Subjects: | |
| Tags: |
Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
Títulos similares
Varieties of constructive mathematics /
por: Bridges, Douglas
por: Bridges, Douglas
Varieties of constructive mathematics
por: Bridges, Douglas
Publicado: (1987)
por: Bridges, Douglas
Publicado: (1987)
Introduction to Mathematical Logic / Introduction to Mathematical Logic
por: Church, Alonzo
Publicado: (1996)
por: Church, Alonzo
Publicado: (1996)
The Essence of Logic / The Essence of Logic
por: Kelly, John
Publicado: (1997)
por: Kelly, John
Publicado: (1997)
The Axiomatic method: an introduction to mathematical logic/
por: LIGHTSTONE, A.H
Publicado: (1964)
por: LIGHTSTONE, A.H
Publicado: (1964)
Elements of mathematical logic/
por: NOVIKOV, P.S
Publicado: (1964)
por: NOVIKOV, P.S
Publicado: (1964)
Combinatory logic/
por: CURRY, Haskell B.
Publicado: (1968)
por: CURRY, Haskell B.
Publicado: (1968)
New Methods in symbolic logic/
por: STANDLEY, Gerald B.
Publicado: (1971)
por: STANDLEY, Gerald B.
Publicado: (1971)
Contributions to mathematical logic: proceedings of the logic colloquium, Hannover 1966/
por: SCHMIDT, H. Arnold ed
Publicado: (1968)
por: SCHMIDT, H. Arnold ed
Publicado: (1968)
Logic With Trees: an introduction to symbolic logic/
por: Howson, Colin
Publicado: (1997)
por: Howson, Colin
Publicado: (1997)
Elements of mathematical logic/
por: LUKASIEWICZ, Jan
Publicado: (1963)
por: LUKASIEWICZ, Jan
Publicado: (1963)
Formal Logic/ Its Scope and Limits
por: Jeffrey, Richard C.
Publicado: (1967)
por: Jeffrey, Richard C.
Publicado: (1967)
Symbolic Logic/
por: Copi, Irving M.
Publicado: (1979)
por: Copi, Irving M.
Publicado: (1979)
Introduction to Symbolic Logic/
por: Basson, A. H.
Publicado: (1960)
por: Basson, A. H.
Publicado: (1960)
Symbolic Logic/
por: Lee, Harold Newton
Publicado: (1961)
por: Lee, Harold Newton
Publicado: (1961)
A mathematical introduction to logic /
por: Enderton, Herbert B.
Publicado: (2001)
por: Enderton, Herbert B.
Publicado: (2001)
Introduction to mathematical logic /
por: Church, Alonzo
Publicado: (1956)
por: Church, Alonzo
Publicado: (1956)
Symbolic logic /
por: Copi, Irving M.
Publicado: (1979)
por: Copi, Irving M.
Publicado: (1979)
Introduction to Symbolic Logic / Introduction to Symbolic Logic
por: Basson, A. H.
Publicado: (1993)
por: Basson, A. H.
Publicado: (1993)
Logic and Set Theory /
por: Philip, N.
Publicado: (1979)
por: Philip, N.
Publicado: (1979)
Fundamentals of symbolic logic/
por: AMBROSE, Alice
Publicado: (1948)
por: AMBROSE, Alice
Publicado: (1948)
Introduction to mathematical logic; set theory / computable functions, model theory.
por: MALITZ, Jerome
Publicado: (1979)
por: MALITZ, Jerome
Publicado: (1979)
Threshold logic /
por: LEWIS, P.M
Publicado: (1967)
por: LEWIS, P.M
Publicado: (1967)
Computability and logic /
por: Boolos, George S.
Publicado: (1989)
por: Boolos, George S.
Publicado: (1989)
Logic for mathematicians /
por: Hamilton, Alan G., 1943-
Publicado: (2001)
por: Hamilton, Alan G., 1943-
Publicado: (2001)
Leibnits and the seventeenth-century /
por: Meyer, R.W
Publicado: (1952)
por: Meyer, R.W
Publicado: (1952)
First steps in model logic /
por: Popkorn, Sally
Publicado: (1994)
por: Popkorn, Sally
Publicado: (1994)
Logic for mathematicians
por: Hamilton, Alan G., 1943-
Publicado: (2001)
por: Hamilton, Alan G., 1943-
Publicado: (2001)
First steps in model logic
por: Popkorn, Sally
Publicado: (1994)
por: Popkorn, Sally
Publicado: (1994)
Studying deductive logic/
por: Berger, Fred R.
Publicado: (1977)
por: Berger, Fred R.
Publicado: (1977)
An introduction to non-classical logic : from if to is / from if to is
por: Priest, Graham
Publicado: (2008)
por: Priest, Graham
Publicado: (2008)
Logic : A Philosophical Introduction /
por: Kaminsky, Jack
Publicado: (1974)
por: Kaminsky, Jack
Publicado: (1974)