| Select number of records to
display per page:
|
Sort by
|
|
1.
|
|
|
2.
|
|
|
Effective Mathematics of the Uncountable(Hardback)
Cambridge University Press
Published:
31/10/2013
A comprehensive introduction to eight major approaches to computation on uncountable mathematical domains.
|
In Stock:
None
| List Price:
|
£115.00 |
|
Our Price:
£103.50
|
|
Availability:
Temporarily Out of Stock
|
|
|
|
|
|
3.
|
|
|
Turing's Legacy(Hardback)
Developments from Turing's Ideas in Logic
Cambridge University Press
Published:
01/05/2014
A collection of essays celebrating the influence of Alan Turing's work in logic, computer science and related areas.
|
In Stock:
None
| List Price:
|
£141.00 |
|
Our Price:
£126.90
|
|
Availability:
Temporarily Out of Stock
|
|
|
|
|
|
4.
|
|
|
Kurt Godel(Paperback)
Essays for His Centennial
Cambridge University Press
Published:
17/12/2012
Papers examining aspects of Godel's work gathered from a symposium celebrating Godel's centennial and papers from a 2004 ASL symposium.
|
In Stock:
None
| List Price:
|
£44.00 |
|
Our Price:
£39.60
|
|
|
|
|
|
|
|
5.
|
|
|
Logic Colloquium 2007(Paperback)
Cambridge University Press
Published:
23/12/2013
The 2007 proceedings from the Annual European Meeting of the Association for Symbolic Logic.
|
In Stock:
None
| List Price:
|
£36.99 |
|
Our Price:
£33.29
|
|
|
|
|
|
|
|
6.
|
|
|
Logic Colloquium 2006(Hardback)
2006
Cambridge University Press
Published:
01/08/2009
The 2006 proceedings from the Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium.
|
In Stock:
None
| List Price:
|
£129.00 |
|
Our Price:
£112.88
|
|
Availability:
Temporarily Out of Stock
|
|
|
|
|
|
7.
|
|
|
Kurt Godel(Hardback)
Essays for His Centennial
Cambridge University Press
Published:
19/04/2010
Papers examining aspects of Godel's work gathered from a symposium celebrating Godel's centennial and papers from a 2004 ASL symposium.
|
In Stock:
None
| List Price:
|
£125.00 |
|
Our Price:
£109.38
|
|
|
|
|
|
|
|
8.
|
|
|
Simple Theories and Hyperimaginaries(Hardback)
Cambridge University Press
Published:
30/06/2011
This book is a self-contained, up-to-date introduction to simple theories and the model theory of hyperimaginaries.
|
In Stock:
None
| List Price:
|
£115.00 |
|
Our Price:
£100.63
|
|
|
|
|
|
|
|
9.
|
|
|
A Framework for Priority Arguments(Hardback)
Cambridge University Press
Published:
19/04/2010
This book presents a unifying framework for using priority arguments to prove theorems in computability.
|
In Stock:
None
| List Price:
|
£115.00 |
|
Our Price:
£100.63
|
|
|
|
|
|
|
|
10.
|
|
|