Showing 1 - 3 results of 3 for search '"Graduate texts in computer science ;"', query time: 0.02s Refine Results
  1. 1

    First-order logic and automated theorem proving / by Fitting, Melvin, 1942-

    Published 1996
    “…Graduate texts in computer science…”
    Book
  2. 2

    Lambda calculi : a guide for computer scientists / by Hankin, Chris, 1954-

    Published 1994
    “…Graduate texts in computer science ;…”
    Book
  3. 3

    Logic for applications / by Nerode, Anil, 1932-

    Published 1997
    “…Graduate texts in computer science…”
    Book