Buy Used and New Mathematical Logic Books

Results for Mathematical Logic

Showing 61 to 72 of 198 results
Proof Theory: The First Step into Impredicativity (Universitext) Proof Theory: The First Step into Impredicativity (Universitext) by Wolfram Pohlers

Proof Theory: The First Step into Impredicativity (Universitext)

by Wolfram Pohlers


ISBN 13: 9783540693185

Format: Illustrated (388 pages)
Publisher: Springer
Published: 13 Oct 2008

Save for later

 
New : $73.21  
New : $73.21
The Logical Status of Diagrams The Logical Status of Diagrams by Sun-Joo Shin

The Logical Status of Diagrams

by Sun-Joo Shin


ISBN 13: 9780521461573

Format: Hardcover (212 pages)
Publisher: Cambridge University Press
Published: 27 Jan 1995

Save for later

 
New : $145.05  
New : $145.05
The Axiom of Choice (Dover Books on Mathematics) The Axiom of Choice (Dover Books on Mathematics) by Thomas J Jech

The Axiom of Choice (Dover Books on Mathematics)

by Thomas J Jech


ISBN 13: 9780486466248

Format: Illustrated (224 pages)
Publisher: Dover Publications Inc.
Published: 01 Jan 2009

Save for later

 
New : $16.33  
New : $16.33
Logic, Induction and Sets (London Mathematical Society Student Texts) Logic, Induction and Sets (London Mathematical Society Student Texts) by Thomas Forster

Logic, Induction and Sets (London Mathematical Society Student Texts)

by Thomas Forster


ISBN 13: 9780521533614

Format: Paperback (246 pages)
Publisher: Cambridge University Press
Published: 25 Sep 2003

Save for later

 
New : $50.80  
New : $50.80
Set Theory and its Philosophy: A Critical Introduction Set Theory and its Philosophy: A Critical Introduction by Michael Potter

Set Theory and its Philosophy: A Critical Introduction

by Michael Potter


ISBN 13: 9780199270415

Format: Illustrated (360 pages)
Publisher: Oxford University Press, U.S.A.
Published: 13 Apr 2006

Save for later

 
New : $44.48  
New : $44.48
Mathematical Logic Mathematical Logic by Tourlakis

Mathematical Logic

by Tourlakis


ISBN 13: 9780470280744

Format: Illustrated (312 pages)
Publisher: John Wiley & Sons
Published: 13 Aug 2008

Save for later

 
New : $142.67  
New : $142.67
Logic for Applications (Texts in Computer Science) Logic for Applications (Texts in Computer Science) by Anil Nerode,Richard A. Shore

Logic for Applications (Texts in Computer Science)

by Anil Nerode,Richard A. Shore


ISBN 13: 9780387948935

Format: Illustrated (469 pages)
Publisher: Springer
Published: 01 Feb 1997

Save for later

 
New : $183.82  
New : $183.82
Schaum's Outline of Boolean Algebra and Switching Circuits Schaum's Outline of Boolean Algebra and Switching Circuits by Elliott Mendelson

Schaum's Outline of Boolean Algebra and Switching Circuits

by Elliott Mendelson


ISBN 13: 9780070414600

Format: Paperback (224 pages)
Publisher: McGraw Hill
Published: 16 Jan 1970

Save for later

 
New : $27.83  
New : $27.83
Argumentation Schemes Argumentation Schemes by Douglas Walton, Christopher Reed, Fabrizio Macagno

Argumentation Schemes

by Douglas Walton, Christopher Reed, Fabrizio Macagno


ISBN 13: 9780521897907

Format: Hardcover (436 pages)
Publisher: Cambridge University Press
Published: 04 Aug 2008
Other Format: Illustrated

Save for later

 
New : $123.39  
New : $123.39
Higher Order Operational Techniques in Semantics: 12 (Publications of the Newton Institute, Series Number 12) Higher Order Operational Techniques in Semantics: 12 (Publications of the Newton Institute, Series Number 12) by Andrew M. Pitts Edited by Andrew D. Gordon

Higher Order Operational Techniques in Semantics: 12 (Publications of the Newton Institute, Series Number 12)

by Andrew M. Pitts Edited by Andrew D. Gordon


ISBN 13: 9780521631686

Format: Hardcover (400 pages)
Publisher: Cambridge University Press
Published: 22 Jan 1998

Save for later

 
New : $119.74  
New : $119.74