Search results
-
The Nuts and Bolts of Proofs; An Introduction to Mathematical Proofs (Paperback / softback) 9780123822178
Regular price £30.39 GBPRegular priceUnit price per£36.99 GBPSale price £30.39 GBPSold out -
Logic and Computation; Interactive Proof with Cambridge LCF (Paperback / softback) 9780521395601
Regular price £48.88 GBPRegular priceUnit price per£29.99 GBPSale price £48.88 GBPSold out -
Lectures on Infinitary Model Theory (Hardback) 9781107181939
Regular price £90.79 GBPRegular priceUnit price per£106.00 GBPSale price £90.79 GBPSold out -
Synthetic Differential Topology (Paperback / softback) 9781108447232
Regular price £53.99 GBPRegular priceUnit price per£26.99 GBPSale price £53.99 GBPSold out -
The Evolution of Logic (Paperback / softback) 9780521747721
Regular price £26.88 GBPRegular priceUnit price per£25.99 GBPSale price £26.88 GBPSold out -
Finite Ordered Sets; Concepts, Results and Uses (Hardback) 9781107013698
Regular price £90.49 GBPRegular priceUnit price per£83.99 GBPSale price £90.49 GBPSold out -
An Invitation to Applied Category Theory; Seven Sketches in Compositionality (Hardback) 9781108482295
Regular price £94.77 GBPRegular priceUnit price per£94.00 GBPSale price £94.77 GBPSold out -
Quantification in Nonclassical Logic (Hardback) 9780444520128
Regular price £148.39 GBPRegular priceUnit price per£173.00 GBPSale price £148.39 GBPSold out -
Logic Colloquium 2007 (Paperback / softback) 9781107696778
Regular price £35.19 GBPRegular priceUnit price per£30.99 GBPSale price £35.19 GBPSold out -
Logic Colloquium 2007 (Hardback) 9780521760652
Regular price £101.85 GBPRegular priceUnit price per£101.00 GBPSale price £101.85 GBPSold out -
Boolean Function Complexity (Paperback / softback) 9780521408264
Regular price £44.59 GBPRegular priceUnit price per£31.99 GBPSale price £44.59 GBPSold out -
Lectures on the Curry-Howard Isomorphism (Hardback) 9780444520777
Regular price £104.98 GBPRegular priceUnit price per£125.00 GBPSale price £104.98 GBPSold out -
Epistemic Logic for AI and Computer Science (Paperback / softback) 9780521602808
Regular price £53.99 GBPRegular priceUnit price per£32.99 GBPSale price £53.99 GBPSold out -
Proofs and Computations (Hardback) 9780521517690
Regular price £72.59 GBPRegular priceUnit price per£71.99 GBPSale price £72.59 GBPSold out -
Model Theory of Groups and Automorphism Groups (Paperback / softback) 9780521589550
Regular price £62.47 GBPRegular priceUnit price per£48.99 GBPSale price £62.47 GBPSold out -
Finite-State Techniques; Automata, Transducers and Bimachines (Hardback) 9781108485418
Regular price £56.99 GBPRegular priceUnit price per£66.99 GBPSale price £56.99 GBPSold out -
Mathematical Logic through Python (Hardback) 9781108845076
Regular price £61.89 GBPRegular priceUnit price per£59.99 GBPSale price £61.89 GBPSold out -
Conceptual Mathematics; A First Introduction to Categories (Paperback / softback) 9780521719162
Regular price £48.45 GBPRegular priceUnit price per£44.99 GBPSale price £48.45 GBPSold out -
A Transition to Abstract Mathematics; Learning Mathematical Thinking and Writing (Hardback) 9780123744807
Regular price £59.58 GBPRegular priceUnit price per£61.99 GBPSale price £59.58 GBPSold out -
Sets and Extensions in the Twentieth Century (Hardback) 9780444516213
Regular price £134.99 GBPRegular priceUnit price per£187.00 GBPSale price £134.99 GBPSold out -
Computability, Complexity, and Languages; Fundamentals of Theoretical Computer Science (Hardback) 9780122063824
Regular price £40.69 GBPRegular priceUnit price per£52.99 GBPSale price £40.69 GBPSold out -
Basic Simple Type Theory (Hardback) 9780521465182
Regular price £101.89 GBPRegular priceUnit price per£92.00 GBPSale price £101.89 GBPSold out -
Burden of Proof, Presumption and Argumentation (Hardback) 9781107046627
Regular price £56.39 GBPRegular priceUnit price per£70.00 GBPSale price £56.39 GBPSold out -
Elements of Logical Reasoning (Hardback) 9781107036598
Regular price £79.46 GBPRegular priceUnit price per£70.00 GBPSale price £79.46 GBPSold out
