Search results
-
Foundations of Genetic Algorithms 1991 (FOGA 1) (Hardback) 9781558601703
Regular price £45.78 GBPRegular priceUnit price per£49.99 GBPSale price £45.78 GBPSold out -
Fundamentals of Stability Theory (Hardback) 9781107168091
Regular price £158.55 GBPRegular priceUnit price per£138.00 GBPSale price £158.55 GBPSold out -
Spectral Spaces (Hardback) 9781107146723
Regular price £124.65 GBPRegular priceUnit price per£139.00 GBPSale price £124.65 GBPSold out -
Sets and Proofs (Paperback / softback) 9780521635493
Regular price £61.66 GBPRegular priceUnit price per£36.99 GBPSale price £61.66 GBPSold out -
Logic Colloquium 2006 (Hardback) 9780521110815
Regular price £98.39 GBPRegular priceUnit price per£123.00 GBPSale price £98.39 GBPSold out -
Large Cardinals, Determinacy and Other Topics; The Cabal Seminar, Volume IV (Hardback) 9781107182998
Regular price £101.99 GBPRegular priceUnit price per£101.00 GBPSale price £101.99 GBPSold out -
The Evolution of Principia Mathematica; Bertrand Russell's Manuscripts and Notes for the Second Edition (Hardback) 9781107003279
Regular price £84.98 GBPRegular priceUnit price per£92.99 GBPSale price £84.98 GBPSold out -
Model Theory (Paperback / softback) 9780521066365
Regular price £67.89 GBPRegular priceUnit price per£44.99 GBPSale price £67.89 GBPSold out -
Introduction to Bisimulation and Coinduction (Hardback) 9781107003637
Regular price £79.29 GBPRegular priceUnit price per£75.99 GBPSale price £79.29 GBPSold out -
Elements of Logical Reasoning (Paperback / softback) 9781107610774
Regular price £22.79 GBPRegular priceUnit price per£20.99 GBPSale price £22.79 GBPSold out -
Logic Colloquium '90; ASL Summer Meeting in Helsinki (Hardback) 9781107169029
Regular price £86.79 GBPRegular priceUnit price per£101.00 GBPSale price £86.79 GBPSold out -
Turing's Legacy; Developments from Turing's Ideas in Logic (Hardback) 9781107043480
Regular price £109.87 GBPRegular priceUnit price per£134.00 GBPSale price £109.87 GBPSold out -
Lambda Calculus with Types (Hardback) 9780521766142
Regular price £77.47 GBPRegular priceUnit price per£77.99 GBPSale price £77.47 GBPSold out -
Logic: A History of its Central Concepts (Hardback) 9780444529374
Regular price £149.36 GBPRegular priceUnit price per£187.00 GBPSale price £149.36 GBPSold out -
Kurt Gödel; Essays for his Centennial (Hardback) 9780521115148
Regular price £92.99 GBPRegular priceUnit price per£117.00 GBPSale price £92.99 GBPSold out -
An Introduction to Non-Classical Logic; From If to Is (Hardback) 9780521854337
Regular price £96.59 GBPRegular priceUnit price per£84.99 GBPSale price £96.59 GBPSold out -
Knowledge Engineering; Building Cognitive Assistants for Evidence-based Reasoning (Hardback) 9781107122567
Regular price £62.89 GBPRegular priceUnit price per£70.99 GBPSale price £62.89 GBPSold out -
An Introduction to Non-Classical Logic; From If to Is (Paperback / softback) 9780521670265
Regular price £32.99 GBPRegular priceUnit price per£33.99 GBPSale price £32.99 GBPSold out -
The Joy of Abstraction; An Exploration of Math, Category Theory, and Life (Hardback) 9781108477222
Regular price £19.89 GBPRegular priceUnit price per£20.00 GBPSale price £19.89 GBPSold out -
Quantitative Reasoning; Thinking in Numbers (Hardback) 9781108419413
Regular price £55.19 GBPRegular priceUnit price per£55.99 GBPSale price £55.19 GBPSold out -
Proof Analysis; A Contribution to Hilbert's Last Problem (Hardback) 9781107008953
Regular price £95.57 GBPRegular priceUnit price per£74.99 GBPSale price £95.57 GBPSold out -
Ordinal Definability and Recursion Theory; The Cabal Seminar, Volume III (Hardback) 9781107033405
Regular price £127.47 GBPRegular priceUnit price per£151.00 GBPSale price £127.47 GBPSold out -
Kurt Gödel; Essays for his Centennial (Paperback / softback) 9781107683464
Regular price £41.19 GBPRegular priceUnit price per£34.99 GBPSale price £41.19 GBPSold out -
Descriptive Complexity, Canonisation, and Definable Graph Structure Theory (Hardback) 9781107014527
Regular price £124.65 GBPRegular priceUnit price per£138.00 GBPSale price £124.65 GBPSold out
