Buy Used and New Mathematical Logic Books

Results for Mathematical Logic

Showing 109 to 120 of 535 results
Symbolic Logic and Mechanical Theorem Proving (Computer Science & Applied Mathematics) (Computer Science and Applied Mathematics) Symbolic Logic and Mechanical Theorem Proving (Computer Science & Applied Mathematics) (Computer Science and Applied Mathematics) by Chin-Liang Chang,Richard Char-Tung Lee

Symbolic Logic and Mechanical Theorem Proving (Computer Science & Applied Mathematics) (Computer Science and Applied Mathematics)

by Chin-Liang Chang,Richard Char-Tung Lee


ISBN 13: 9780121703509

Format: Illustrated (331 pages)
Publisher: Academic Press
Published: 15 Jun 1973

Save for later

 
New : $56.63  
New : $56.63
The Haskell Road to Logic, Maths and Programming (Texts in Computing, Vol. 4) (Texts in Computing S.) The Haskell Road to Logic, Maths and Programming (Texts in Computing, Vol. 4) (Texts in Computing S.) by Kees Doets,Jan van Eijck

The Haskell Road to Logic, Maths and Programming (Texts in Computing, Vol. 4) (Texts in Computing S.)

by Kees Doets,Jan van Eijck


ISBN 13: 9780954300692

Format: Paperback (450 pages)
Publisher: College Publications
Published: 07 Dec 2012

Save for later

 
New : $22.32  
New : $22.32
Perspectives in Computation (Chicago Lectures in Physics) Perspectives in Computation (Chicago Lectures in Physics) by Robert Geroch

Perspectives in Computation (Chicago Lectures in Physics)

by Robert Geroch


ISBN 13: 9780226288550

Format: Paperback (206 pages)
Publisher: University of Chicago Press
Published: 18 Sep 2009

Save for later

 
New : $36.22  
New : $36.22
Modal Logic: 53 (Cambridge Tracts in Theoretical Computer Science, Series Number 53) Modal Logic: 53 (Cambridge Tracts in Theoretical Computer Science, Series Number 53) by Patrick Blackburn

Modal Logic: 53 (Cambridge Tracts in Theoretical Computer Science, Series Number 53)

by Patrick Blackburn


ISBN 13: 9780521527149

Format: Illustrated (578 pages)
Publisher: Cambridge University Press
Published: 22 Aug 2002

Save for later

 
New : $110.87  
New : $110.87
Algorithms in Invariant Theory (Texts & Monographs in Symbolic Computation) Algorithms in Invariant Theory (Texts & Monographs in Symbolic Computation) by Bernd Sturmfels,Peter Paule

Algorithms in Invariant Theory (Texts & Monographs in Symbolic Computation)

by Bernd Sturmfels,Peter Paule


ISBN 13: 9783211774168

Format: Illustrated (204 pages)
Publisher: Springer
Published: 28 Apr 2008

Save for later

 
New : $134.16  
New : $134.16
The Pillars of Computation Theory: State, Encoding, Nondeterminism: 0 (Universitext) The Pillars of Computation Theory: State, Encoding, Nondeterminism: 0 (Universitext) by Arnold L. L. Rosenberg

The Pillars of Computation Theory: State, Encoding, Nondeterminism: 0 (Universitext)

by Arnold L. L. Rosenberg


ISBN 13: 9780387096384

Format: Paperback (344 pages)
Publisher: Springer
Published: 12 Nov 2009

Save for later

 
New : $57.13  
New : $57.13