First-order logic / :: UTM Library Massive Scholar Tracking

ग्रंथसूची विवरण
मुख्य लेखक:	323371 Smullyan, Raymond M.
स्वरूप:
प्रकाशित:	NY : Springer-Verlag, 1968
विषय:	Logic, Symbolic and mathematical

A First Course in Logic /
द्वारा: Lawson, Mark V., author
प्रकाशित: (2019)

Logic /
द्वारा: 344312 Earle, Nick
प्रकाशित: (1973)

Symbolic logic /
द्वारा: 299767 Copi, Irving M.
प्रकाशित: (1973)

Symbolic logic /
द्वारा: 299767 Copi, Irving M.
प्रकाशित: (1979)

Symbolic logic /
द्वारा: 299767 Copi, Irving M.
प्रकाशित: (1954)

Introduction to logic /
द्वारा: 299767 Copi, Irving M., और अन्य
प्रकाशित: (1998)

Combinatory logic /
द्वारा: 351193 Curry, Haskell Brooks, और अन्य
प्रकाशित: (1974)

Symbolic logic /
द्वारा: 372615 Jacquette, Dale
प्रकाशित: (2001)

Mathematical logic /
द्वारा: Brazilian Conference on Mathematical Logic (1977 : States University of Campinas, Brazil), और अन्य
प्रकाशित: (1978)

Mathematical logic /
द्वारा: Goodstein, R. L. (Reuben Louis)
प्रकाशित: (1957)

Mathematical logic /
द्वारा: 344925 Monk, James Donald
प्रकाशित: (1976)

Introduction to logic /
द्वारा: Suppes, Patrick, 1922-
प्रकाशित: (1957)

Logic and structure /
द्वारा: Dalen, D. van (Dirk), 1932-
प्रकाशित: (2004)

Mathematical logic /
द्वारा: 307997 Shoenfield, Joseph Robert
प्रकाशित: (1967)

Logic : proof
द्वारा: Open University. Mathematics Foundation Course Team
प्रकाशित: (1971)

Mathematical logic /
द्वारा: 365617 Quine, Willard Van Orman
प्रकाशित: (1951)

Logic : databook /
द्वारा: National Semiconductor
प्रकाशित: (1981)

Mathematical logic /
द्वारा: 219920 Ebbinghaus, Heinz-Dieter, और अन्य
प्रकाशित: (1994)

Symbolic logic /
द्वारा: 389685 Grunberg, Teo
प्रकाशित: (1972)

Logic as algebra /
द्वारा: 181502 Halmos, Paul, और अन्य
प्रकाशित: (1998)

First-order logic /