![](http://collegepublications.co.uk/images/cmp00024s.jpg) | Volume 24:
Domain-Specific Languages of Mathematics
Patrik Jansson, Cezar Ionescu and Jean-Philippe Bernardy, eds
978-1-84890-388-3
View Details ![](/images/_list_item_comp.png) |
|
![](http://collegepublications.co.uk/images/cmp00023s.jpg) | Volume 23:
Computation Counts An Introduction to Analytic Concepts in Computer Science
Paul E. Dunne
978-1-84890-310-4
View Details ![](/images/_list_item_comp.png) |
|
![](http://collegepublications.co.uk/images/cmp00022s.jpg) | Volume 22:
Languages, Machines, and Classical Computation Second Edition
Luis M. Augusto
978-1-84890-300-5
View Details ![](/images/_list_item_comp.png) |
|
| Volume 21:
A Mathematical Primer on Computability
Amilcar Sernadas, Cristina Sernadas and Joao Rasga
978-1-84890-296-1
View Details ![](/images/_list_item_comp.png) |
|
![](http://collegepublications.co.uk/images/cmp00020s.jpg) | Volume 20:
An Introduction to Ontology Engineering
C. Maria Keet
978-1-84890-295-4
View Details ![](/images/_list_item_comp.png) |
|
![](http://collegepublications.co.uk/images/cmp00019s.jpg) | Volume 19:
Computational Logic: Volume 1 Classical Deductive Computing with Classical Logic. Third Edition
Luis M. Augusto
978-1-84890-280-0
View Details ![](/images/_list_item_comp.png) |
|
![](http://collegepublications.co.uk/images/cmp00018s.jpg) | Volume 18:
What Is a Computer and What Can it Do? An Algorithms-Oriented Introduction to the Theory of Computation
Thomas C. O'Connell
978-1-84890-098-1
View Details ![](/images/_list_item_comp.png) |
|
![](http://collegepublications.co.uk/images/cmp00017s.jpg) | Volume 17:
Acts of the Programme Isaac Newton Institute for the Mathematical Sciences, January to July 2012
Arnold Beckmann and Benedikt Loewe, eds
978-1-84890-080-6
View Details ![](/images/_list_item_comp.png) |
|
| Volume 16:
Implementing Programming Languages An Introduction to Compilers and Interpreters
Aarne Ranta, with an appendix coauthored by Markus Forsberg
978-1-84890-064-6
View Details ![](/images/_list_item_comp.png) |
|
![](http://collegepublications.co.uk/images/cmp00015s.jpg) | Volume 15:
Design and Analysis of Purely Functional Programs Second Edition
Christian Rinderknecht
978-1-84890-059-2
View Details ![](/images/_list_item_comp.png) |
|
![](http://collegepublications.co.uk/images/cmp00014s.jpg) | Volume 14:
Java: Just In Time Updated and Revised 2018 version now available
John Latham
978-1-84890-025-7
View Details ![](/images/_list_item_comp.png) |
|
![](http://collegepublications.co.uk/images/cmp00013s.jpg) | Volume 13:
Picturing Programs An Introduction to Computer Programming
Stephen Bloch
978-1-84890-015-8
View Details ![](/images/_list_item_comp.png) |
|
![](http://collegepublications.co.uk/images/cmp00012s.jpg) | Volume 12:
The Mathematics of the Models of Reference
Francesco Berto, Gabriele Rossi and Jacopo Tagliabue
978-1-84890-011-0
View Details ![](/images/_list_item_comp.png) |
|
![](http://collegepublications.co.uk/images/cmp00011s.jpg) | Volume 11:
Invariants A Generative Approach to Programming
Daniel Zingaro
978-1-9040987-83-3
View Details ![](/images/_list_item_comp.png) |
|
![](http://collegepublications.co.uk/images/cmp00010s.jpg) | Volume 10:
Foundations of Logic and Theory of Computation Second edition
Amilcar Sernadas and Cristina Sernadas
ISBN 978-1-904987-88-8
View Details ![](/images/_list_item_comp.png) |
|
![](http://collegepublications.co.uk/images/cmp00009s.jpg) | Volume 9:
Logic for Artificial Intelligence and Information Technology
Dov M. Gabbay
ISBN 978-1-904987-39-0
View Details ![](/images/_list_item_comp.png) |
|
![](http://collegepublications.co.uk/images/cmp00008s.jpg) | Volume 8:
A Meeting of the Minds: Proceedings of the Workshop on Logic, Rationality and Interaction, Beijing, 2007
Johan van Benthem, Shier Ju, Frank Veltman (editors)
ISBN 978-1-904987-48-2
View Details ![](/images/_list_item_comp.png) |
|
![](http://collegepublications.co.uk/images/cmp00005s.jpg) | Volume 5:
Bridges from Classical to Nonmonotonic Logic
David Makinson
ISBN 1904987001
View Details ![](/images/_list_item_comp.png) |
|
![](http://collegepublications.co.uk/images/cmp00004s.jpg) | Volume 4:
The Haskell Road to Logic, Maths and Programming Second edition
Kees Doets, Jan van Eijck
ISBN 0-9543006-9-6
View Details ![](/images/_list_item_comp.png) |
|
![](http://collegepublications.co.uk/images/cmp00003s.jpg) | Volume 3:
Logical Reasoning: a First Course
Rob Nederpelt, Fairouz Kamareddine
ISBN 0-9543006-7-X
View Details ![](/images/_list_item_comp.png) |
|
![](http://collegepublications.co.uk/images/cmp00002s.jpg) | Volume 2:
An Introduction to Lambda Calculi for Computer Scientists
Chris Hankin
ISBN 0-9543006-5-3
View Details ![](/images/_list_item_comp.png) |
|
![](http://collegepublications.co.uk/images/cmp00001s.jpg) | Volume 1:
Programming Languages and Operational Semantics
Maribel Fernández
ISBN 0-9543006-3-7
View Details ![](/images/_list_item_comp.png) |
|