The Haskell Road to Logic, Maths and Programming (Texts in Computing S.)
Author: Kees Doets
Manufacturer: College Publications
ListPrice: $25.00
Offer: $22.50
|
The Road to Reality : A Complete Guide to the Laws of the Universe
Author: Roger Penrose
Manufacturer: Knopf
ListPrice: $40.00
Offer: $26.40
|
Counterexamples in Topology
Author: Lynn Arthur Steen
Manufacturer: Dover Publications
ListPrice: $12.95
Offer: $10.36
|
Mathematical Logic (Undergraduate Texts in Mathematics)
Author: H.-D. Ebbinghaus
Manufacturer: Springer
ListPrice: $69.95
Offer: $47.96
|
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science)
Author: A. S. Troelstra
Manufacturer: Cambridge University Press
ListPrice: $43.00
Offer: $35.99
|
Basic Category Theory for Computer Scientists (Foundations of Computing)
Author: Benjamin C. Pierce
Manufacturer: The MIT Press
ListPrice: $26.00
Offer: $23.40
|
Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)
Author: Robert Goldblatt
Manufacturer: Dover Publications
ListPrice: $29.95
Offer: $19.77
|
An Introduction to Lambda Calculi for Computer Scientists
Author: C Hankin
Manufacturer: College Publications
ListPrice: $18.50
Offer: $16.65
|
Conceptual Mathematics: A First Introduction to Categories
Author: F. William Lawvere
Manufacturer: Cambridge University Press
ListPrice: $60.00
Offer: $54.00
|
The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions
Manufacturer: Dover Publications
ListPrice: $24.95
Offer: $18.21
|
A First Course in String Theory
Author: Barton Zwiebach
Manufacturer: Cambridge University Press
ListPrice: $79.00
Offer: $63.20
|
Categories for the Working Mathematician (Graduate Texts in Mathematics)
Author: Saunders Mac Lane
Manufacturer: Springer
ListPrice: $69.95
Offer: $55.96
|
Sets for Mathematics
Author: F. William Lawvere
Manufacturer: Cambridge University Press
ListPrice: $50.00
Offer: $43.20
|
Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Universitext)
Author: Saunders MacLane
Manufacturer: Springer
ListPrice: $79.95
Offer: $71.95
|
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series)
Author: Peter B. Andrews
Manufacturer: Springer
ListPrice: $139.00
Offer: $87.57
|
Alfred Tarski: Life and Logic
Author: Anita Burdman Feferman
Manufacturer: Cambridge University Press
ListPrice: $38.00
Offer: $30.40
|
An Introduction to Non-Classical Logic
Author: Graham Priest
Manufacturer: Cambridge University Press
ListPrice: $24.99
Offer: $18.99
|
Topology via Logic (Cambridge Tracts in Theoretical Computer Science)
Author: Steven Vickers
Manufacturer: Cambridge University Press
ListPrice: $43.00
Offer: $40.32
|
Modal Logic
Author: Patrick Blackburn
Manufacturer: Cambridge University Press
ListPrice: $75.00
Offer: $67.50
|
Algebra (AMS/Chelsea Publication)
Author: Saunders MacLane
Manufacturer: American Mathematical Society
ListPrice: $59.00
Offer: $59.00
|
Categories for Types (Cambridge Mathematical Textbooks)
Author: Roy L. Crole
Manufacturer: Cambridge University Press
ListPrice: $63.00
Offer: $46.80
|
Natural Deduction: A Proof-Theoretical Study
Author: Dag Prawitz
Manufacturer: Dover Publications
ListPrice: $9.95
Offer: $9.95
|
Stone Spaces (Cambridge Studies in Advanced Mathematics)
Author: Peter T. Johnstone
Manufacturer: Cambridge University Press
ListPrice: $44.99
Offer: $44.99
|
Introduction to Lattices and Order
Author: B. A. Davey
Manufacturer: Cambridge University Press
ListPrice: $48.00
Offer: $43.20
|
Logic and Structure
Author: Dirk van Dalen
Manufacturer: Springer
ListPrice: $49.95
Offer: $42.46
|
Logic, Semantics, Metamathematics
Author: Alfred Tarski
Manufacturer: Hackett Publishing Company
ListPrice: $29.95
|
Categories for Types (Cambridge Mathematical Textbooks)
Author: Roy L. Crole
Manufacturer: Cambridge University Press
ListPrice: $130.00
Offer: $83.40
|
Elementary Categories, Elementary Toposes (Oxford Logic Guides)
Author: Colin McLarty
Manufacturer: Oxford University Press, USA
ListPrice: $149.00
Offer: $149.00
|
Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics) (Studies in Logic and the Foundations of Mathematics)
Author: B. Jacobs
Manufacturer: Elsevier Science
ListPrice: $108.00
Offer: $108.00
|
