Logic for mathematicians / :: UTM Library Massive Scholar Tracking

Manylion Llyfryddiaeth
Prif Awdur:	391265 Hamilton, A. G.
Fformat:
Cyhoeddwyd:	Cambridge : Cambridge Univ. Pr., 1988
Pynciau:	Logic, Symbolic and mathematical

Is God a mathematician? /
gan: Livio, Mario, 1945-
Cyhoeddwyd: (2009)

Logic /
gan: 344312 Earle, Nick
Cyhoeddwyd: (1973)

Combinatory logic /
gan: 351193 Curry, Haskell Brooks, et al.
Cyhoeddwyd: (1974)

Symbolic logic /
gan: 372615 Jacquette, Dale
Cyhoeddwyd: (2001)

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

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

Mathematical logic /
gan: Goodstein, R. L. (Reuben Louis)
Cyhoeddwyd: (1957)

Mathematical logic /
gan: 344925 Monk, James Donald
Cyhoeddwyd: (1976)

Introduction to logic /
gan: Suppes, Patrick, 1922-
Cyhoeddwyd: (1957)

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

Mathematical logic /
gan: 307997 Shoenfield, Joseph Robert
Cyhoeddwyd: (1967)

Logic : proof
gan: Open University. Mathematics Foundation Course Team
Cyhoeddwyd: (1971)

Mathematical logic /
gan: 365617 Quine, Willard Van Orman
Cyhoeddwyd: (1951)

Logic : databook /
gan: National Semiconductor
Cyhoeddwyd: (1981)

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

Symbolic logic /
gan: 299767 Copi, Irving M.
Cyhoeddwyd: (1973)

Symbolic logic /
gan: 299767 Copi, Irving M.
Cyhoeddwyd: (1979)

Symbolic logic /
gan: 299767 Copi, Irving M.
Cyhoeddwyd: (1954)

Symbolic logic /
gan: 389685 Grunberg, Teo
Cyhoeddwyd: (1972)

Logic as algebra /
gan: 181502 Halmos, Paul, et al.
Cyhoeddwyd: (1998)

First-order logic /
gan: 323371 Smullyan, Raymond M.
Cyhoeddwyd: (1968)

Logic for mathematicians /