Texts in Computing

• Volume 1: Maribel Fernández. Programming Languages and Operational Semantics. 30 January 2004. ISBN 0-9543006-3-7 (£10.00, $18.50)
• Volume 2: Chris Hankin. An Introduction to Lambda Calculi for Computer Scientists. 5 February 2004. ISBN 0-9543006-5-3 (£10.00, $18.50)
• Volume 3: Rob Nederpelt and Fairouz Kamareddine. Logical Reasoning: A First Course. 2 April 2004. ISBN 0-9543006-7-X (£14.00, $25.00)
• Volume 4: Kees Doets and Jan van Eijck. The Haskell Road to Logic, Maths and Programming. 7th May 2004. ISBN 0-9543006-9-6 (£14.00, $25.00)
• Volume 5: David Makinson. Bridges from Classical to Nonmonotonic Logic.. 7 February 2005. ISBN 1-904987-00-1. (£10.00, $18.50)
• Volume 6:

Available from

Information for authors

Ian Mackie, Series editor.