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
Amazon.com
Information for authors
Texts in Computing
is a new series of books encompassing undergraduate, postgraduate, as well as research level texts.
Ian Mackie
, Series editor.