Search results
-
A Practical Introduction to Denotational Semantics (Paperback) 9780521314237
Regular price £29.49 GBPRegular priceUnit price per£27.99 GBPSale price £29.49 GBP -
Topology via Logic (Paperback) 9780521576512
Regular price £50.76 GBPRegular priceUnit price per£45.99 GBPSale price £50.76 GBP -
Topological Data Analysis with Applications (Hardback) 9781108838658
Regular price £37.49 GBPRegular priceUnit price per£39.99 GBPSale price £37.49 GBPSale -
Semantics and Logics of Computation (Paperback) 9780521118460
Regular price £40.99 GBPRegular priceUnit price per£36.99 GBPSale price £40.99 GBP -
Lectures in Logic and Set Theory: Volume 1, Mathematical Logic (Hardback) 9780521753739
Regular price £96.99 GBPRegular priceUnit price per£106.00 GBPSale price £96.99 GBPSale -
Recursion Theory (Hardback) 9781107168084
Regular price £88.29 GBPRegular priceUnit price per£101.00 GBPSale price £88.29 GBPSale -
The Clausal Theory of Types (Paperback) 9780521117906
Regular price £26.59 GBPRegular priceUnit price per£20.99 GBPSale price £26.59 GBP -
A Distributed Pi-Calculus (Hardback) 9780521873307
Regular price £73.66 GBPRegular priceUnit price per£64.99 GBPSale price £73.66 GBP -
Worked Examples in Nonlinear Continuum Mechanics for Finite Element Analysis (Paperback / softback) 9781107603615
Regular price £37.89 GBPRegular priceUnit price per£41.99 GBPSale price £37.89 GBPSale -
Numerical Analysis for Engineers and Scientists (Hardback) 9781107021082
Regular price £53.68 GBPRegular priceUnit price per£63.99 GBPSale price £53.68 GBPSale -
Bounded Variable Logics and Counting; A Study in Finite Models (Hardback) 9781107167940
Regular price £88.99 GBPRegular priceUnit price per£106.00 GBPSale price £88.99 GBPSale -
Action Semantics (Paperback) 9780521619332
Regular price £48.89 GBPRegular priceUnit price per£49.99 GBPSale price £48.89 GBPSale -
The Standard ML Basis Library (Hardback) 9780521791427
Regular price £74.49 GBPRegular priceUnit price per£87.00 GBPSale price £74.49 GBPSale -
Admissible Sets and Structures (Hardback) 9781107168336
Regular price £126.48 GBPRegular priceUnit price per£123.00 GBPSale price £126.48 GBP -
Metamathematics, Machines and Gödel's Proof (Paperback) 9780521585330
Regular price £40.59 GBPRegular priceUnit price per£40.99 GBPSale price £40.59 GBPSale -
Introducing String Diagrams; The Art of Category Theory (Hardback) 9781009317863
Regular price £35.89 GBPRegular priceUnit price per£39.99 GBPSale price £35.89 GBPSale -
Higher Recursion Theory (Hardback) 9781107168435
Regular price £104.69 GBPRegular priceUnit price per£125.00 GBPSale price £104.69 GBPSale -
The Clausal Theory of Types (Hardback) 9780521395380
Regular price £63.59 GBPRegular priceUnit price per£61.00 GBPSale price £63.59 GBP -
Higher Order Logic and Hardware Verification (Paperback) 9780521115322
Regular price £33.99 GBPRegular priceUnit price per£25.99 GBPSale price £33.99 GBP -
Proof Theory; A selection of papers from the Leeds Proof Theory Programme 1990 (Paperback / softback) 9780521054164
Regular price £35.89 GBPRegular priceUnit price per£31.99 GBPSale price £35.89 GBP -
Automata Theory with Modern Applications (Paperback) 9780521613248
Regular price £38.59 GBPRegular priceUnit price per£42.99 GBPSale price £38.59 GBPSale -
Theoretical Computer Science for the Working Category Theorist (Paperback / softback) 9781108792745
Regular price £16.99 GBPRegular priceUnit price per£17.00 GBPSale price £16.99 GBPSale -
Two-Level Functional Languages (Hardback) 9780521403849
Regular price £94.35 GBPRegular priceUnit price per£116.00 GBPSale price £94.35 GBPSale -
A Compositional Approach to Performance Modelling (Paperback) 9780521673532
Regular price £38.49 GBPRegular priceUnit price per£36.99 GBPSale price £38.49 GBP
