Buy Used and New Mathematical Foundations Books

Results for Mathematical Foundations

Showing 109 to 120 of 304 results
Proofs and Confirmations: The Story of the Alternating-Sign Matrix Conjecture (Spectrum) Proofs and Confirmations: The Story of the Alternating-Sign Matrix Conjecture (Spectrum) by David M. Bressoud

Proofs and Confirmations: The Story of the Alternating-Sign Matrix Conjecture (Spectrum)

by David M. Bressoud


ISBN 13: 9780521666466

Format: Paperback (274 pages)
Publisher: Cambridge University Press
Published: 13 Aug 1999

Save for later

 
New : $41.42  
New : $41.42
Computability Theory: An Introduction to Recursion Theory Computability Theory: An Introduction to Recursion Theory by Herbert B. Enderton

Computability Theory: An Introduction to Recursion Theory

by Herbert B. Enderton


ISBN 13: 9780123849588

Format: Hardcover (192 pages)
Publisher: Academic Press
Published: 30 Dec 2010

Save for later

 
New : $60.59  
New : $60.59
Algebraic K-Theory (Modern Birkhäuser Classics) Algebraic K-Theory (Modern Birkhäuser Classics) by Vasudevan Srinivas

Algebraic K-Theory (Modern Birkhäuser Classics)

by Vasudevan Srinivas


ISBN 13: 9780817647360

Format: Paperback (342 pages)
Publisher: Birkhauser
Published: 29 Nov 2007

Save for later

 
New : $70.91  
New : $70.91
Cryptanalysis of Number Theoretic Ciphers (Computational mathematics) Cryptanalysis of Number Theoretic Ciphers (Computational mathematics) by Samuel S. Wagstaff Jr.

Cryptanalysis of Number Theoretic Ciphers (Computational mathematics)

by Samuel S. Wagstaff Jr.


ISBN 13: 9781584881537

Format: Hardcover (336 pages)
Publisher: Chapman and Hall/CRC
Published: 10 Dec 2002

Save for later

 
New : $153.25  
New : $153.25
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers by Leslie Lamport

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

by Leslie Lamport


ISBN 13: 9780321143068

Format: Paperback (384 pages)
Publisher: Addison Wesley
Published: 19 Jul 2002

Save for later

 
New : $33.09  
New : $33.09
Deduction: Introductory Symbolic Logic Deduction: Introductory Symbolic Logic by Daniel Bonevac

Deduction: Introductory Symbolic Logic

by Daniel Bonevac


ISBN 13: 9780631227137

Format: Paperback (528 pages)
Publisher: Wiley-Blackwell
Published: 13 Sep 2002

Save for later

 
New : $48.11  
New : $48.11
Dynamical Systems: Examples of Complex Behaviour (Universitext) Dynamical Systems: Examples of Complex Behaviour (Universitext) by Jürgen Jost

Dynamical Systems: Examples of Complex Behaviour (Universitext)

by Jürgen Jost


ISBN 13: 9783540229087

Format: Paperback (189 pages)
Publisher: Springer
Published: 01 Aug 2005

Save for later

 
New : $59.38  
New : $59.38
Topology via Logic (Cambridge Tracts in Theoretical Computer Science) Topology via Logic (Cambridge Tracts in Theoretical Computer Science) by Steven Vickers

Topology via Logic (Cambridge Tracts in Theoretical Computer Science)

by Steven Vickers


ISBN 13: 9780521576512

Format: Paperback (220 pages)
Publisher: Cambridge University Press
Published: 22 Aug 1996

Save for later

 
New : $48.03  
New : $48.03