Logic for mathematicians /

Logic for mathematicians /

41

Bibliografiske detaljer
Hovedforfatter:	391265 Hamilton, A. G.
Format:
Udgivet:	Cambridge : Cambridge Univ. Pr., 1988
Fag:	Logic, Symbolic and mathematical

Lignende værker

Logic for mathematicians /
af: 263948 Hamilton, Alan G.
Udgivet: (1978)

logic for mathematicians /
af: 341990 Rosser, J. Barkley
Udgivet: (1953)

Proof, logic and conjecture : the mathematician's toolbox /
af: 267708 Wolf, Robert S
Udgivet: (1998)

Is God a mathematician? /
af: Livio, Mario, 1945-
Udgivet: (2009)

Logic /
af: 344312 Earle, Nick
Udgivet: (1973)

Logic of mathematics : a modern course of classical logic /
af: 454206 Adamowicz, Zofia, et al.
Udgivet: (1997)

Combinatory logic /
af: 351193 Curry, Haskell Brooks, et al.
Udgivet: (1974)

Symbolic logic /
af: 372615 Jacquette, Dale
Udgivet: (2001)

Mathematical logic /
af: Brazilian Conference on Mathematical Logic (1977 : States University of Campinas, Brazil), et al.
Udgivet: (1978)

Introduction to logic /
af: 299767 Copi, Irving M., et al.
Udgivet: (1998)

Mathematical logic /
af: Goodstein, R. L. (Reuben Louis)
Udgivet: (1957)

Mathematical logic /
af: 344925 Monk, James Donald
Udgivet: (1976)

Introduction to logic /
af: Suppes, Patrick, 1922-
Udgivet: (1957)

Logic and structure /
af: Dalen, D. van (Dirk), 1932-
Udgivet: (2004)

Mathematical logic /
af: 307997 Shoenfield, Joseph Robert
Udgivet: (1967)

Logic : proof
af: Open University. Mathematics Foundation Course Team
Udgivet: (1971)

Mathematical logic /
af: 365617 Quine, Willard Van Orman
Udgivet: (1951)

Logic : databook /
af: National Semiconductor
Udgivet: (1981)

Mathematical logic /
af: 219920 Ebbinghaus, Heinz-Dieter, et al.
Udgivet: (1994)

Symbolic logic /
af: 299767 Copi, Irving M.
Udgivet: (1973)

Symbolic logic /
af: 299767 Copi, Irving M.
Udgivet: (1979)

Symbolic logic /
af: 299767 Copi, Irving M.
Udgivet: (1954)

Symbolic logic /
af: 389685 Grunberg, Teo
Udgivet: (1972)

Logic as algebra /
af: 181502 Halmos, Paul, et al.
Udgivet: (1998)

Introduction to symbolic logic /
af: 389591 Basson, A. H., et al.
Udgivet: (1957)

Logic coach III plus : symbolic logic / [cakera padat]
af: 194067 Pole, Nelson, et al.
Udgivet: (2001)

Logic colloquium : symposium on logic held at Boston, 1972-73 /
af: Parikh, Rohet
Udgivet: (1975)

Languages, logic and mathematics /
af: Kilmister, C. W. (Clive William)
Udgivet: (1967)

Elements of mathematical logic /
af: 343101 Novikov, P. S.
Udgivet: (1964)

Introduction to mathematical logic /
af: 341948 Mendelson, Elliott
Udgivet: (1964)

Introduction to mathematical logic /
af: 341948 Mendelson, Elliott
Udgivet: (1979)

Annals of mathematical logic
Udgivet: (1970)

Introduction to mathematical logic /
Udgivet: (2012)

Introduction to mathematical logic /
af: 341948 Mendelson, Elliott
Udgivet: (c201)

Lectures on mathematical logic /
af: 314449 Felscher, Walter
Udgivet: (2000)

The logical systems of Lesniewski /
af: 463894 Luschei, Eugene C.
Udgivet: (1962)

First-order logic /
af: 323371 Smullyan, Raymond M.
Udgivet: (1968)

Handbook of mathematical logic /
af: Barwise, Jon
Udgivet: (1977)

Introduction to mathematical logic /
af: 341948 Mendelson, Elliott
Udgivet: (1997)

Proceedings of Logic Colloquium /
af: 467457 Logic Colloquium, et al.
Udgivet: (1969)