Author(s)
Bibliographic Information
Cambridge tracts in theoretical computer science
Cambridge University Press
Search this Book/Journal
-
41
- Basic simple type theory
-
J. Roger Hindley
Cambridge University Press 1997 Cambridge tracts in theoretical computer science 42
: hbk , : pbk
Available at 48 libraries
-
42
- Metamathematics, machines, and Gödel's proof
-
N. Shankar
Cambridge University Press 1997 Cambridge tracts in theoretical computer science 38
: pbk
Available at 22 libraries
-
43
- Computational learning theory : an introduction
-
Martin Anthony & Norman Biggs
Cambridge University Press 1997, c1992 1st pbk. ed. (with corrections) Cambridge tracts in theoretical computer science 30
Available at 25 libraries
-
44
- Topology via logic
-
Steven Vickers
Cambridge University Press 1996, c1989 Cambridge tracts in theoretical computer science 5
: pbk
Available at 14 libraries
-
45
- Basic proof theory
-
A.S. Troelstra, H. Schwichtenberg
Cambridge University Press 1996 Cambridge tracts in theoretical computer science 43
: hardback
Available at 38 libraries
-
46
- Extensions of first order logic
-
[by] María Manzano
Cambridge University Press 1996 Cambridge tracts in theoretical computer science 19
: hardback
Available at 45 libraries
-
47
- Epistemic logic for AI and computer science
-
J.-J. Ch. Meyer and W. van der Hoek
Cambridge University Press c1995 Cambridge tracts in theoretical computer science 41
hardback
Available at 38 libraries
-
48
- Free choice Petri nets
-
Jörg Desel, Javier Esparza
Cambridge University Press 1995 Cambridge tracts in theoretical computer science 40
Available at 33 libraries
-
49
- The uncertain reasoner's companion : a mathematical perspective
-
J. B. Paris
Cambridge University Press 1994 Cambridge tracts in theoretical computer science 39
: hard , : pbk.
Available at 29 libraries
-
50
- Mathematical theory of domains
-
Viggo Stoltenberg-Hansen, Ingrid Lindström and Edward R. Griffor
Cambridge University Press 1994 Cambridge tracts in theoretical computer science 22
: hardback
Available at 34 libraries
-
51
- Metamathematics, machines, and Gödel's proof
-
N. Shankar
Cambridge University Press 1994 Cambridge tracts in theoretical computer science 38
Available at 44 libraries
-
52
- Higher order logic and hardware verification
-
T. Melham
Cambridge University Press 1993 Cambridge tracts in theoretical computer science 31
Available at 28 libraries
-
53
- Formal methods in circuit design
-
V. Stavridou
Cambridge University Press 1993 Cambridge tracts in theoretical computer science 37
Available at 28 libraries
-
54
- Algebraic specification of communication protocols
-
edited by S. Mauw and G.J. Veltink
Cambridge University Press 1993 Cambridge tracts in theoretical computer science 36
Available at 26 libraries
-
55
- The clausal theory of types
-
D.A. Wolfram
Cambridge University Press 1993 Cambridge tracts in theoretical computer science 21
: hardback , : pbk
Available at 35 libraries
-
56
- Algorithmic information theory
-
Gregory J. Chaitin
Cambridge University Press 1992, c1987 Reprinted with revisions Cambridge tracts in theoretical computer science 1
Available at 10 libraries
-
57
- Action semantics
-
Peter D. Mosses
Cambridge University Press 1992 Cambridge tracts in theoretical computer science 26
Available at 3 libraries
-
58
- Mathematics for computer graphics
-
S.G. Hoggar
Cambridge University Press 1992 Cambridge tracts in theoretical computer science 14
Available at 50 libraries
-
59
- Formal specification and design
-
L. M. G. Feijs & H. B. M. Jonkers
Cambridge University Press 1992 Cambridge tracts in theoretical computer science 35
Available at 31 libraries
-
60
- Predicate transformer semantics
-
Ernest G. Manes
Cambridge University Press 1992 Cambridge tracts in theoretical computer science 33
Available at 30 libraries
