- Computing >
- General theory of computing >
- Mathematical theory of computation >
- Y. Gurevich
Browse results
1 Uncertain Reasoner's Companion: A Mathematical Perspective - Cambridge Tracts in Theoretical Computer Science No. 39
by J.B. Paris, C.J. van Rijsbergen, S. Abramsky, P.H. Aczel, J.W.De Bakker, Y. Gurevich, J.V. Tucker
| Format: | Hardback 222 pages |
|---|---|
| Published: | 12/01/1995 |
Unavailable
2 Basic Simple Type Theory - Cambridge Tracts in Theoretical Computer Science No.42
by J. Roger Hindley, C. J. Van Rijsbergen, S. Abramsky, P.H. Aczel, J.W.De Bakker, Y. Gurevich, J.V. Tucker
| Format: | Hardback 200 pages |
|---|---|
| Published: | 31/07/1997 |
Available to order
Usually despatched in 3-5 days
£66.00
3 Logic and Computation: Interactive Proof with Cambridge LCF - Cambridge Tracts in Theoretical Computer Science 2
by Lawrence C. Paulson, C. J. Van Rijsbergen, S. Abramsky, P.H. Aczel, J.W.De Bakker, Y. Gurevich, J.V. Tucker
| Format: | Paperback 320 pages |
|---|---|
| Published: | 26/07/1990 |
Available to order
Usually despatched in 2-3 weeks
£38.00
4 Free Choice Petri Nets - Cambridge Tracts in Theoretical Computer Science No. 40
by Jorg Desel, S. Abramsky, P.H. Aczel, C. J. Van Rijsbergen, Y. Gurevich, Javier Esparza, J.W.De Bakker, J.V. Tucker
| Format: | Paperback 256 pages |
|---|---|
| Published: | 08/09/2005 |
Available to order
Usually despatched in 2-3 weeks
£33.00
5 The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution - Cambridge Tracts in Theoretical Computer Science No. 32
by S. Abramsky, P.H. Aczel, C. J. Van Rijsbergen, Y. Gurevich, J.W.De Bakker, Robert L. Carpenter, J.V. Tucker
| Format: | Paperback 280 pages |
|---|---|
| Published: | 10/11/2005 |
Available to order
Usually despatched in 2-3 weeks
£35.00
6 Programs, Recursion and Unbounded Choice - Cambridge Tracts in Theoretical Computer Science No. 27
by Wim H. Hesselink, C. J. Van Rijsbergen, S. Abramsky, P.H. Aczel, J.W.De Bakker, Y. Gurevich, J.V. Tucker
| Format: | Paperback 240 pages |
|---|---|
| Published: | 22/08/2005 |
Available to order
Usually despatched in 2-3 weeks
£29.99
7 Applications of Process Algebra - Cambridge Tracts in Theoretical Computer Science No. 17
by J.C.M. Baeten, C. J. Van Rijsbergen, S. Abramsky, P.H. Aczel, J.W.De Bakker, Y. Gurevich, J.V. Tucker
| Format: | Paperback 332 pages |
|---|---|
| Published: | 17/02/2005 |
Available to order
Usually despatched in 2-3 weeks
£56.00
8 The Classical Decision Problem - Perspectives in Mathematical Logic
by E. Boerger, E. Gradel, Y. Gurevich
| Format: | Hardback 482 pages |
|---|---|
| Published: | 31/12/1996 |
Available to order
Usually despatched in 2-3 weeks
£61.00
9 Metamathematics, Machines and Godel's Proof - Cambridge Tracts in Theoretical Computer Science No.38
by N. Shankar, C. J. Van Rijsbergen, S. Abramsky, P.H. Aczel, J.W.De Bakker, Y. Gurevich, J.V. Tucker
| Format: | Paperback 220 pages |
|---|---|
| Published: | 30/01/1997 |
Available to order
Usually despatched in 2-3 weeks
£35.00
10 Lambda-calculus, Combinators and Functional Programming - Cambridge Tracts in Theoretical Computer Science 4
by Gyorgy E. Revesz, C.J. van Rijsbergen, Samson Abramsky, P.H. Aczel, J.W.De Bakker, Y. Gurevich, J.V. Tucker
| Format: | Hardback 192 pages |
|---|---|
| Published: | 31/03/1988 |
Unavailable
