Skip to navigation
Skip to content

Logic, categories and sets (Textbooks)

Sort by:

These titles are sorted by publication date (descending)

Programming with Higher-Order Logic

  • Dale Miller, Gopalan Nadathur
  • Hardback (ISBN-13: 9780521879408)
  • View other formats:
  • Publication date: June 2012
  • Subject: Programming languageprogramming languages and applied logic
  • In stock
  • $65.00 (Z)

A Course in Model Theory

  • Katrin Tent, Martin Ziegler
  • Hardback (ISBN-13: 9780521763240)
  • View other formats:
  • Publication date: April 2012
  • Subject: Logic categories and sets
  • In stock
  • $60.00 (Z)

An Introduction to Category Theory

  • Harold Simmons
  • Paperback (ISBN-13: 9780521283045)
  • View other formats:
  • Publication date: November 2011
  • Subject: Logic categories and sets
  • In stock
  • $31.99 (Z)

A Course on Set Theory

  • Ernest Schimmerling
  • Paperback (ISBN-13: 9781107400481)
  • View other formats:
  • Publication date: September 2011
  • Subject: Logic categories and sets
  • In stock
  • $36.99 (Z)

The Evolution of Logic

  • In stock
  • $29.99 (Z)

Conceptual Mathematics

A First Introduction to Categories
  • 2nd Edition
  • F. William Lawvere, Stephen H. Schanuel
  • Paperback (ISBN-13: 9780521719162)
  • View other formats:
  • Publication date: September 2009
  • Subject: Logic categories and sets
  • In stock
  • $70.00 (X)

A Second Course in Formal Languages and Automata Theory

  • Jeffrey Shallit
  • Hardback (ISBN-13: 9780521865722)
  • View other formats:
  • Publication date: September 2008
  • Subject: Algorithmics complexity computer algebra and computational geometry
  • In stock
  • $65.00 (Z)

Lambda-Calculus and Combinators

An Introduction
  • 2nd Edition
  • J. Roger Hindley, Jonathan P. Seldin
  • Hardback (ISBN-13: 9780521898850)
  • View other formats:
  • Publication date: August 2008
  • Subject: Programming languageprogramming languages and applied logic
  • In stock
  • $76.00 (Z)

A Primer of Infinitesimal Analysis

  • 2nd Edition
  • John L. Bell
  • Hardback (ISBN-13: 9780521887182)
  • View other formats:
  • Publication date: April 2008
  • Subject: Logic categories and sets
  • In stock
  • $69.00 (Z)

Inductive Reasoning

Experimental, Developmental, and Computational Approaches
  • Aidan Feeney, Evan Heit
  • Paperback (ISBN-13: 9780521672443)
  • View other formats:
  • Publication date: September 2007
  • Subject: Cognition
  • In stock
  • $35.99 (Z)

The Mathematics of Logic

A Guide to Completeness Theorems and their Applications
  • Richard W. Kaye
  • Paperback (ISBN-13: 9780521708777)
  • View other formats:
  • Publication date: July 2007
  • Subject: Logic categories and sets
  • In stock
  • $51.00 (Z)

How to Prove It

A Structured Approach
  • 2nd Edition
  • Daniel J. Velleman
  • Paperback (ISBN-13: 9780521675994)
  • View other formats:
  • Publication date: January 2006
  • Subject: Logic categories and sets
  • In stock
  • $32.99 (Z)

Logic in Computer Science

Modelling and Reasoning about Systems
  • 2nd Edition
  • Michael Huth, Mark Ryan
  • Paperback (ISBN-13: 9780521543101)
  • View other formats:
  • Publication date: August 2004
  • Subject: Programming languageprogramming languages and applied logic
  • In stock
  • $88.00 (X)

Numbers, Groups and Codes

  • 2nd Edition
  • J. F. Humphreys, M. Y. Prest
  • Paperback (ISBN-13: 9780521540506)
  • View other formats:
  • Publication date: May 2004
  • Subject: Algebra
  • In stock
  • $74.00 (X)

Logic, Induction and Sets

  • Thomas Forster
  • Paperback (ISBN-13: 9780521533614)
  • View other formats:
  • Publication date: July 2003
  • Subject: Logic categories and sets
  • In stock
  • $48.00 (Z)

Sets for Mathematics

  • F. William Lawvere, Robert Rosebrugh
  • Paperback (ISBN-13: 9780521010603)
  • View other formats:
  • Publication date: January 2003
  • Subject: Logic categories and sets
  • In stock
  • $67.00 (Z)

Introduction to Lattices and Order

  • 2nd Edition
  • B. A. Davey, H. A. Priestley
  • Paperback (ISBN-13: 9780521784511)
  • Publication date: May 2002
  • Subject: Algebra
  • In stock
  • $64.00 (Z)

Sort by:

My Cart

You have  in your cart.

Subtotal: