Logic for mathematicians /

Logic for mathematicians /

41

Détails bibliographiques
Auteur principal:	263948 Hamilton, Alan G.
Format:
Publié:	London : Cambridge University Press, 1978
Sujets:	Logic, Symbolic and mathematical

Documents similaires

Logic for mathematicians /
par: 391265 Hamilton, A. G.
Publié: (1988)

logic for mathematicians /
par: 341990 Rosser, J. Barkley
Publié: (1953)

Proof, logic and conjecture : the mathematician's toolbox /
par: 267708 Wolf, Robert S
Publié: (1998)

Is God a mathematician? /
par: Livio, Mario, 1945-
Publié: (2009)

Logic /
par: 344312 Earle, Nick
Publié: (1973)

Logic of mathematics : a modern course of classical logic /
par: 454206 Adamowicz, Zofia, et autres
Publié: (1997)

Mathematical logic : collected works of A. M. Turing /
par: 450742 Turing, Alan Mathison, et autres
Publié: (2001)

Mathematical logic /
par: Brazilian Conference on Mathematical Logic (1977 : States University of Campinas, Brazil), et autres
Publié: (1978)

Combinatory logic /
par: 351193 Curry, Haskell Brooks, et autres
Publié: (1974)

Symbolic logic /
par: 372615 Jacquette, Dale
Publié: (2001)

Introduction to logic /
par: 299767 Copi, Irving M., et autres
Publié: (1998)

Mathematical logic /
par: Goodstein, R. L. (Reuben Louis)
Publié: (1957)

Mathematical logic /
par: 344925 Monk, James Donald
Publié: (1976)

Introduction to logic /
par: Suppes, Patrick, 1922-
Publié: (1957)

Logic and structure /
par: Dalen, D. van (Dirk), 1932-
Publié: (2004)

Mathematical logic /
par: 307997 Shoenfield, Joseph Robert
Publié: (1967)

Logic : proof
par: Open University. Mathematics Foundation Course Team
Publié: (1971)

Mathematical logic /
par: 365617 Quine, Willard Van Orman
Publié: (1951)

Logic : databook /
par: National Semiconductor
Publié: (1981)

Mathematical logic /
par: 219920 Ebbinghaus, Heinz-Dieter, et autres
Publié: (1994)

Symbolic logic /
par: 299767 Copi, Irving M.
Publié: (1973)

Symbolic logic /
par: 299767 Copi, Irving M.
Publié: (1979)

Symbolic logic /
par: 299767 Copi, Irving M.
Publié: (1954)

Symbolic logic /
par: 389685 Grunberg, Teo
Publié: (1972)

Logic as algebra /
par: 181502 Halmos, Paul, et autres
Publié: (1998)

Logic coach III plus : symbolic logic / [cakera padat]
par: 194067 Pole, Nelson, et autres
Publié: (2001)

Logic colloquium : symposium on logic held at Boston, 1972-73 /
par: Parikh, Rohet
Publié: (1975)

Multiple - conclusion logic /
par: 391053 Shoesmith, D. J., et autres
Publié: (1978)

Elements of mathematical logic (model theory) /
par: 351900 Kreisel, G., et autres
Publié: (1971)

Languages, logic and mathematics /
par: Kilmister, C. W. (Clive William)
Publié: (1967)

Elements of mathematical logic /
par: 343101 Novikov, P. S.
Publié: (1964)

Introduction to mathematical logic /
par: 341948 Mendelson, Elliott
Publié: (1964)

Introduction to mathematical logic /
par: 341948 Mendelson, Elliott
Publié: (1979)

Annals of mathematical logic
Publié: (1970)

Introduction to mathematical logic /
Publié: (2012)

Introduction to mathematical logic /
par: 341948 Mendelson, Elliott
Publié: (c201)

Lectures on mathematical logic /
par: 314449 Felscher, Walter
Publié: (2000)

The logical systems of Lesniewski /
par: 463894 Luschei, Eugene C.
Publié: (1962)

First-order logic /
par: 323371 Smullyan, Raymond M.
Publié: (1968)

Handbook of mathematical logic /
par: Barwise, Jon
Publié: (1977)