Buy Used and New Mathematical Logic Books

Higher Topos Theory (AM-170) (Annals of Mathematics Studies) (Annals of Mathematics Studies, 170)

by Jacob Lurie

ISBN 13: 9780691140490

Format: Paperback (944 pages)
Publisher: Princeton University Press
Published: 06 Jul 2009

Save for later

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

Aspects of Mathematical Logic: Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), ... 9-17, 1968 (C.I.M.E. Summer Schools)

by

ISBN 13: 9783642110788

Format: Paperback (285 pages)
Publisher: Springer
Published: 30 Nov 2010

Save for later

Gentzen Calculi for Modal Propositional Logic (Trends in Logic)

by Francesca Poggiolesi

ISBN 13: 9789048196692

Format: Hardcover (222 pages)
Publisher: Springer
Published: 02 Dec 2010

Save for later

Foundations of the Formal Sciences: v. 4: The History of the Concept of the Formal Sciences (Studies in Logic (logic & Cognitive Systems))

by

ISBN 13: 9781904987291

Format: Paperback (300 pages)
Publisher: College Publications
Published: 05 Dec 2006

Save for later

Epistemic Foundations of Fuzziness: Unified Theories on Decision-Choice Processes: 236 (Studies in Fuzziness and Soft Computing)

by Kofi Kissi Dompere

ISBN 13: 9783540880844

Format: Hardcover (266 pages)
Publisher: Springer
Published: 20 Mar 2009

Save for later

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

Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)

by Ulrich Kohlenbach

ISBN 13: 9783540775324

Format: Hardcover (556 pages)
Publisher: Springer
Published: 26 May 2008

Save for later

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming Volume 5: Logic Programming

by Christopher John Hogger,D. M. Gabbay,C. Hogger

ISBN 13: 9780198537922

Format: Illustrated (816 pages)
Publisher: OUP Oxford
Published: 08 Jan 1998

Save for later

An Accompaniment to Higher Mathematics (Undergraduate Texts in Mathematics)

by George R. R. Exner

ISBN 13: 9780387946177

Format: Illustrated (224 pages)
Publisher: Springer
Published: 22 Jun 1999

Save for later

Independence-Friendly Logic: A Game-Theoretic Approach (London Mathematical Society Lecture Note Series)

by Allen L. Mann,Gabriel Sandu,Merlijn Sevenster

ISBN 13: 9780521149341

Format: Paperback (216 pages)
Publisher: Cambridge University Press
Published: 05 May 2011

Save for later

Lectures on Concurrency and Petri Nets: Advances in Petri Nets (Lecture Notes in Computer Science)

by

ISBN 13: 9783540222613

Format: Paperback (857 pages)
Publisher: Springer
Published: 14 Jun 2004

Save for later