Elements of mathematical logic/
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Libro |
| Lingua: | inglese |
| Pubblicazione: |
Edinburgh:
Oliver and Boyd;
1964.
|
| Soggetti: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
Elements of mathematical logic/
di: LUKASIEWICZ, Jan
Pubblicazione: (1963)
di: LUKASIEWICZ, Jan
Pubblicazione: (1963)
Contributions to mathematical logic: proceedings of the logic colloquium, Hannover 1966/
di: SCHMIDT, H. Arnold ed
Pubblicazione: (1968)
di: SCHMIDT, H. Arnold ed
Pubblicazione: (1968)
Introduction to Mathematical Logic / Introduction to Mathematical Logic
di: Church, Alonzo
Pubblicazione: (1996)
di: Church, Alonzo
Pubblicazione: (1996)
Introduction to mathematical logic /
di: Church, Alonzo
Pubblicazione: (1956)
di: Church, Alonzo
Pubblicazione: (1956)
Logic With Trees: an introduction to symbolic logic/
di: Howson, Colin
Pubblicazione: (1997)
di: Howson, Colin
Pubblicazione: (1997)
Combinatory logic/
di: CURRY, Haskell B.
Pubblicazione: (1968)
di: CURRY, Haskell B.
Pubblicazione: (1968)
A mathematical introduction to logic /
di: Enderton, Herbert B.
Pubblicazione: (2001)
di: Enderton, Herbert B.
Pubblicazione: (2001)
New Methods in symbolic logic/
di: STANDLEY, Gerald B.
Pubblicazione: (1971)
di: STANDLEY, Gerald B.
Pubblicazione: (1971)
Symbolic Logic/
di: Copi, Irving M.
Pubblicazione: (1979)
di: Copi, Irving M.
Pubblicazione: (1979)
Symbolic Logic/
di: Lee, Harold Newton
Pubblicazione: (1961)
di: Lee, Harold Newton
Pubblicazione: (1961)
Symbolic logic /
di: Copi, Irving M.
Pubblicazione: (1979)
di: Copi, Irving M.
Pubblicazione: (1979)
Threshold logic /
di: LEWIS, P.M
Pubblicazione: (1967)
di: LEWIS, P.M
Pubblicazione: (1967)
The Essence of Logic / The Essence of Logic
di: Kelly, John
Pubblicazione: (1997)
di: Kelly, John
Pubblicazione: (1997)
Formal Logic/ Its Scope and Limits
di: Jeffrey, Richard C.
Pubblicazione: (1967)
di: Jeffrey, Richard C.
Pubblicazione: (1967)
Introduction to Symbolic Logic/
di: Basson, A. H.
Pubblicazione: (1960)
di: Basson, A. H.
Pubblicazione: (1960)
Introduction to mathematical logic; set theory / computable functions, model theory.
di: MALITZ, Jerome
Pubblicazione: (1979)
di: MALITZ, Jerome
Pubblicazione: (1979)
The Axiomatic method: an introduction to mathematical logic/
di: LIGHTSTONE, A.H
Pubblicazione: (1964)
di: LIGHTSTONE, A.H
Pubblicazione: (1964)
Introduction to Symbolic Logic / Introduction to Symbolic Logic
di: Basson, A. H.
Pubblicazione: (1993)
di: Basson, A. H.
Pubblicazione: (1993)
Computability and logic /
di: Boolos, George S.
Pubblicazione: (1989)
di: Boolos, George S.
Pubblicazione: (1989)
Logic for mathematicians /
di: Hamilton, Alan G., 1943-
Pubblicazione: (2001)
di: Hamilton, Alan G., 1943-
Pubblicazione: (2001)
Language logic and mathematics/
di: Kilmister, C.W
Pubblicazione: (1967)
di: Kilmister, C.W
Pubblicazione: (1967)
Logic for mathematicians
di: Hamilton, Alan G., 1943-
Pubblicazione: (2001)
di: Hamilton, Alan G., 1943-
Pubblicazione: (2001)
Fundamentals of symbolic logic/
di: AMBROSE, Alice
Pubblicazione: (1948)
di: AMBROSE, Alice
Pubblicazione: (1948)
Logic : A Philosophical Introduction /
di: Kaminsky, Jack
Pubblicazione: (1974)
di: Kaminsky, Jack
Pubblicazione: (1974)
Studying deductive logic/
di: Berger, Fred R.
Pubblicazione: (1977)
di: Berger, Fred R.
Pubblicazione: (1977)
The Elements of logic/
di: BARKER, Stephen F.
Pubblicazione: (1965)
di: BARKER, Stephen F.
Pubblicazione: (1965)
First steps in model logic /
di: Popkorn, Sally
Pubblicazione: (1994)
di: Popkorn, Sally
Pubblicazione: (1994)
First steps in model logic
di: Popkorn, Sally
Pubblicazione: (1994)
di: Popkorn, Sally
Pubblicazione: (1994)
Logic and Set Theory /
di: Philip, N.
Pubblicazione: (1979)
di: Philip, N.
Pubblicazione: (1979)
Readings on Logic /
di: Copi, Irving M.
Pubblicazione: (1972)
di: Copi, Irving M.
Pubblicazione: (1972)
Symbolic Logic
di: Copi
Pubblicazione: (1995)
di: Copi
Pubblicazione: (1995)
Readings on Logic
di: Copi
Pubblicazione: (1972)
di: Copi
Pubblicazione: (1972)
Deductive logic/
di: Leblanc, Hugues
Pubblicazione: (1976)
di: Leblanc, Hugues
Pubblicazione: (1976)
Logic and Proof Techniques / Logic and Proof Techniques
di: Eberle, Rolf A.
Pubblicazione: (1996)
di: Eberle, Rolf A.
Pubblicazione: (1996)
An introduction to non-classical logic : from if to is / from if to is
di: Priest, Graham
Pubblicazione: (2008)
di: Priest, Graham
Pubblicazione: (2008)
Constructive order types/
di: CROSSLEY, John N.
Pubblicazione: (1969)
di: CROSSLEY, John N.
Pubblicazione: (1969)