Search results
-
Numerical Analysis for Engineers and Scientists (Hardback) 9781107021082
Regular price £53.68 GBPRegular priceUnit price per£63.99 GBPSale price £53.68 GBPSale -
Protocols by Invariants (Paperback) 9780521607551
Regular price £41.88 GBPRegular priceUnit price per£40.99 GBPSale price £41.88 GBP -
Proof Theory; A selection of papers from the Leeds Proof Theory Programme 1990 (Hardback) 9780521414135
Regular price £88.29 GBPRegular priceUnit price per£105.00 GBPSale price £88.29 GBPSale -
Lambda-calculus, Combinators and Functional Programming (Paperback) 9780521114295
Regular price £48.59 GBPRegular priceUnit price per£47.99 GBPSale price £48.59 GBP -
Higher Order Logic and Hardware Verification (Hardback) 9780521417181
Regular price £85.49 GBPRegular priceUnit price per£88.00 GBPSale price £85.49 GBPSale -
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 -
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 -
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 -
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 -
Recursion-Theoretic Hierarchies (Hardback) 9781107168244
Regular price £115.75 GBPRegular priceUnit price per£138.00 GBPSale price £115.75 GBPSale -
Theories of Computability (Paperback) 9780521153430
Regular price £40.88 GBPRegular priceUnit price per£40.99 GBPSale price £40.88 GBPSale -
Model Checking Quantum Systems; Principles and Algorithms (Hardback) 9781108484305
Regular price £47.47 GBPRegular priceUnit price per£52.99 GBPSale price £47.47 GBPSale -
Combinatorial Species and Tree-like Structures (Hardback) 9780521573238
Regular price £172.59 GBPRegular priceUnit price per£167.00 GBPSale price £172.59 GBP -
Admissible Sets and Structures (Hardback) 9781107168336
Regular price £126.48 GBPRegular priceUnit price per£123.00 GBPSale price £126.48 GBP
