First-order logic /

First-order logic /

41

Bibliographic Details
Main Author:	323371 Smullyan, Raymond M.
Format:
Published:	NY : Springer-Verlag, 1968
Subjects:	Logic, Symbolic and mathematical

Similar Items

A First Course in Logic /
by: Lawson, Mark V., author
Published: (2019)

Mathematical logic : a first course /
by: 323771 Robbin, Joel W.
Published: (1969)

Logic /
by: 344312 Earle, Nick
Published: (1973)

Symbolic logic /
by: 299767 Copi, Irving M.
Published: (1973)

Symbolic logic /
by: 299767 Copi, Irving M.
Published: (1979)

Symbolic logic /
by: 299767 Copi, Irving M.
Published: (1954)

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

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

Combinatory logic /
by: 351193 Curry, Haskell Brooks, et al.
Published: (1974)

Symbolic logic /
by: 372615 Jacquette, Dale
Published: (2001)

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

Mathematical logic /
by: Goodstein, R. L. (Reuben Louis)
Published: (1957)

Mathematical logic /
by: 344925 Monk, James Donald
Published: (1976)

Introduction to logic /
by: Suppes, Patrick, 1922-
Published: (1957)

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

Mathematical logic /
by: 307997 Shoenfield, Joseph Robert
Published: (1967)

Logic : proof
by: Open University. Mathematics Foundation Course Team
Published: (1971)

Mathematical logic /
by: 365617 Quine, Willard Van Orman
Published: (1951)

Logic for mathematicians /
by: 263948 Hamilton, Alan G.
Published: (1978)

Logic : databook /
by: National Semiconductor
Published: (1981)

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

Logic for mathematicians /
by: 391265 Hamilton, A. G.
Published: (1988)

logic for mathematicians /
by: 341990 Rosser, J. Barkley
Published: (1953)

Symbolic logic /
by: 389685 Grunberg, Teo
Published: (1972)

Logic as algebra /
by: 181502 Halmos, Paul, et al.
Published: (1998)

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

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

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

Elements of mathematical logic /
by: 343101 Novikov, P. S.
Published: (1964)

Introduction to mathematical logic /
by: 341948 Mendelson, Elliott
Published: (1964)

Introduction to mathematical logic /
by: 341948 Mendelson, Elliott
Published: (1979)

Annals of mathematical logic
Published: (1970)

Introduction to mathematical logic /
Published: (2012)

Introduction to mathematical logic /
by: 341948 Mendelson, Elliott
Published: (c201)

Lectures on mathematical logic /
by: 314449 Felscher, Walter
Published: (2000)

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

Handbook of mathematical logic /
by: Barwise, Jon
Published: (1977)

Introduction to mathematical logic /
by: 341948 Mendelson, Elliott
Published: (1997)

Proceedings of Logic Colloquium /
by: 467457 Logic Colloquium, et al.
Published: (1969)

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