Lambda Calculus with Types
Henk (Radboud Universiteit Nijmegen) Barendregt
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£77.99
£65.39
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to BasketConstraint Logic Programming using Eclipse
Krzysztof R. (Stichting Centrum voor Wiskunde en Informatica (CWI Apt
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£70.99
£60.02
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to BasketNonlinear Dimensionality Reduction
John A. Lee
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£119.99
£83.44
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketThe Birth of Model Theory : Lowenheim's Theorem in the Frame of the Theory of Relatives
Calixto Badesa
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£88.00
£60.82
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketClassical and Nonclassical Logics : An Introduction to the Mathematics of Propositions
Eric Schechter
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£119.00
£79.99
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketClassical Mathematical Logic : The Semantic Foundations of Logic
Richard L. Epstein
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£75.00
£52.48
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketElectromagnetic Compatibility : Methods, Analysis, Circuits, and Measurement, Third Edition
David A. (EMC, Consulting Inc., Merrickville, Ontario, Canada) Weston
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£210.00
£176.57
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketHardware Security : Design, Threats, and Safeguards
Debdeep Mukhopadhyay
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£130.00
£106.01
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to BasketGuide to Pairing-Based Cryptography
Nadia El Mrabet
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£84.99
£70.75
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to BasketSketches of an Elephant: A Topos Theory Compendium : 2 Volume Set
Peter T. (, Reader in the Foundations of Mathematics, Unive Johnstone
Out of StockMore expected soonContact us for further information
Format: Book (Multiple-component retail product)
£508.49
Out of StockMore expected soonContact us for further information
Book (Multiple-component retail product)
Add to BasketAlfred Tarski : Life and Logic
Anita Burdman Feferman
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£117.00
£88.41
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to BasketThe Search for Mathematical Roots, 1870-1940 : Logics, Set Theories and the Foundations of Mathematics from Cantor through Russell to Godel
Ivor Grattan-Guinness
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£115.00
£77.50
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketKurt Godel: Collected Works: Volume III : Unpublished Essays and Lectures
Kurt Godel
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£295.47
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to BasketIn the Light of Logic
Solomon (Professor of Philosophy and Mathematics, Professor Feferman
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£99.00
£93.18
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to BasketRecursion Theory for Metamathematics
Raymond M. (Professor of Philosophy, Professor of Philosophy Smullyan
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£175.00
£169.21
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to BasketNatural Language Semantics : Formation and Valuation
Brendan S. (McGill University) Gillon
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£76.00
£50.36
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to BasketIntroduction to Model Theory
Philipp Rothmaler
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£76.99
£64.62
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to BasketPearls of Discrete Mathematics
Martin Erickson
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£61.99
£52.53
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to BasketIntroduction to Cryptography with Open-Source Software
Alasdair McAndrew
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£84.99
£70.75
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to BasketRC4 Stream Cipher and Its Variants
Goutam Paul
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£175.00
£140.73
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to BasketIntroduction to Computer and Network Security : Navigating Shades of Gray
Richard R. (Clemson University, South Carolina, USA) Brooks
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£82.99
£69.43
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketHandbook of Finite Fields
Gary L. Mullen
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£215.00
£180.67
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to BasketDDoS Attacks : Evolution, Detection, Prevention, Reaction, and Tolerance
Dhruba Kumar (Tezpur University, Assam, India) Bhattacharyya
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£94.99
£78.42
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to BasketSet Theory with a Universal Set : Exploring an Untyped Universe
T. E. (Department of Pure Mathematics and Mathematical Statis Forster
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£73.00
£69.88
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket