Search Results - "Logic"

Refine Results
  1. 1061

    Elementary concepts of modern mathematics by Dinkines, Flora 1910-

    Published 1964
    “…Introduction to mathematical logic…”
    Click Here to View Status and Holdings.
    Book
  2. 1062
  3. 1063

    Rapid prototyping of digital systems by Hamblen, James O. 1954-

    Published 2006
    Subjects: “…Logic design Computer-aided design…”
    Click Here to View Status and Holdings.
    Unknown
  4. 1064
  5. 1065
  6. 1066
  7. 1067

    CAMEL intelligent networks for the GSM, GPRS and UMTS network by Noldus, Rogier

    Published 2006
    “…Customized application for the mobile network enhanced logic…”
    Click Here to View Status and Holdings.
    Unknown
  8. 1068

    Proces and operation planning by Halevi, Gideon 1928-

    Published 2010
    “…The principles of process planning : a logical approach…”
    Click Here to View Status and Holdings.
    Unknown
  9. 1069

    Cluster analysis

    Published 2012
    Table of Contents: “…Vol. 1. Logic and classics -- Vol. 2. (Useful) key texts -- Vol. 3. …”
    Click Here to View Status and Holdings.
    Unknown
  10. 1070
  11. 1071

    Methods of cut-elimination by Baaz, Matthias

    Published 2011
    “…Trends in logic…”
    Click Here to View Status and Holdings.
    Unknown
  12. 1072
  13. 1073

    Metamathematics of first-order arithmetic by Hajek, Petr

    Published 1993
    “…Perspectives in mathematical logic…”
    Click Here to View Status and Holdings.
    Unknown
  14. 1074

    Finite model theory by Ebbinghaus, Heinz-Dieter 1939-

    Published 1995
    “…Perspectives in mathematical logic…”
    Click Here to View Status and Holdings.
    Unknown
  15. 1075

    Realism and the aim of science by Popper, Karl Raimund

    Published 1993
    “…Postscript to the logic of scientific discovery…”
    Click Here to View Status and Holdings.
    Unknown
  16. 1076

    Model Theory by Keisler, H. Jerome

    Published 1990
    “…Studies in logic and the foundations of Mathematics…”
    Click Here to View Status and Holdings.
    Unknown
  17. 1077

    Foundations of set theory by Fraenkel, Abraham Adolf 1891-1965

    Published 1973
    “…Studies in logic and the foundations of mathematics…”
    Click Here to View Status and Holdings.
    Unknown
  18. 1078

    Proof theory by Takeuti, Gaisi 1926-

    Published 1975
    “…Studies in logic and the foundations of mathematics…”
    Click Here to View Status and Holdings.
    Unknown
  19. 1079

    The art of Prolog advanced programming techniques by Sterling, Leon

    Published 1986
    “…MIT Press series in logic programming…”
    Click Here to View Status and Holdings.
    Unknown
  20. 1080

    A proof theory for general unification by Snyder, Wayne 1955 - .

    Published 1991
    “…Progress in Computer Science and Applied Logic…”
    Click Here to View Status and Holdings.
    Unknown