3 results
Lambda-Calculus and Combinators, An Introduction, 2nd Edition, J. Roger Hindley and Jonathan P. Seldin, Cambridge University Press, 2008. Hardback, ISBN-13: 9780521898850, $70.00.
-
- Journal:
- Theory and Practice of Logic Programming / Volume 9 / Issue 2 / March 2009
- Published online by Cambridge University Press:
- 11 March 2009, pp. 239-243
-
- Article
- Export citation
Advanced Topics in Term Rewriting by Enno Ohlebusch, Springer-Verlag, 2002, hard cover: ISBN 0-387-95250-0, xi + 414 pages
-
- Journal:
- Theory and Practice of Logic Programming / Volume 4 / Issue 4 / July 2004
- Published online by Cambridge University Press:
- 07 June 2004, pp. 539-541
-
- Article
- Export citation
Logic in Computer Science: Modelling and Reasoning about Systems by Michael R. A. Huth and Mark D. Ryan, Cambridge University Press, 2000. ISBN 0521652006, £52.50, $80.00 (hardback), ISBN 0521656028, £9.95, $34.95 (paperback), xviii + 387 pages. http://www.cs.bham.ac.uk/research/lics/
-
- Journal:
- Theory and Practice of Logic Programming / Volume 1 / Issue 1 / January 2001
- Published online by Cambridge University Press:
- 03 April 2001, pp. 123-125
-
- Article
- Export citation