Showing 1 - 15 results of 15 for search '"Cambridge Tracts in Theoretical Computer Science"', query time: 0.04s Refine Results
  1. 1
    Basic proof theory /
    by Troelstra, A. S. (Anne Sjerp)
    Published 1996
    “…Cambridge tracts in theoretical computer science…”
    Book
  2. 2
    Metamathematics, machines, and Godel's proof /
    by Shankar, N.
    Published 1997
    “…Cambridge tracts in theoretical computer science…”
    Book
  3. 3
    Algorithmic information theory /
    by Chaitin, Gregory J.
    Published 1987
    “…Cambridge tracts in theoretical computer science…”
    Book
  4. 4
    Basic proof theory /
    by Troelstra, A. S. (Anne Sjerp)
    Published 2000
    “…Cambridge tracts in theoretical computer science…”
    Book
  5. 5
    Epistemic logic for AI and computer science
    by Meyer, John-Jules Ch
    Published 1995
    “…Cambridge tracts in theoretical computer science…”
    Book
  6. 6
    Topology via logic
    by Vickers, Steven
    Published 1996
    “…Cambridge tracts in theoretical computer science…”
    Book
  7. 7
    Information flow the logic of distributed systems
    by Barwise, Jon
    Published 1997
    “…Cambridge tracts in theoretical computer science…”
    Book
  8. 8
    Mathematical theory of domains
    by Stoltenberg-Hansen, Viggo
    Published 1994
    “…Cambridge tracts in theoretical computer science…”
    Book
  9. 9
    Higher order logic and harware verification
    by Melham, T.
    Published 1993
    “…Cambridge Tracts in Theoretical Computer Science…”
    Book
  10. 10
    Two-level functional languages
    “…Cambridge Tracts in Theoretical Computer Science…”
    Book
  11. 11
    Algebraic specification of communication protocols
    Published 1993
    “…Cambridge Tracts in Theoretical Computer Science…”
    Book
  12. 12
    Process algebra
    by Baeten, J.C.M, Weijland, W.P
    Published 1990
    “…Cambridge Tracts in Theoretical Computer Science…”
    Book
  13. 13
    Nets, Terms and Formulas Tree views of Concurrent Processes and Their Relationship
    by Olderog, E.-R
    Published 1991
    “…Cambridge Tracts in Theoretical Computer Science…”
    Book
  14. 14
    Action semantics
    by Mosses, Peter D.
    Published 1992
    “…Cambridge tracts in theoretical computer science…”
    Book
  15. 15
    Domains and lambda-calculi
    by Amadio, Roberto M.
    Published 1998
    “…Cambridge tracts in theoretical computer science…”
    Book
Search Tools: RSS Feed – Email Search