Categories for Types (Cambridge Mathematical Textbooks)
by Crole
ISBN 13: 9780521457019
Format: Paperback (356 pages) Publisher: Cambridge University Press Published: 27 Jan 1994
Save for later
Model Theory (Encyclopedia of Mathematics and its Applications): 42 (Encyclopedia of Mathematics and its Applications, Series Number 42)
by Wilfrid Hodges
ISBN 13: 9780521066365
Format: Illustrated (788 pages) Publisher: Cambridge University Press Published: 19 Jun 2008
Mathematical Logic
by Tourlakis
ISBN 13: 9780470280744
Format: Illustrated (312 pages) Publisher: John Wiley & Sons Published: 13 Aug 2008
Introduction to Logic: And to the Methodology of Deductive Sciences (Dover Books on Mathematics)
by Alfred Tarski
ISBN 13: 9780486284620
Format: Paperback (272 pages) Publisher: Dover Publications Inc. Published: 28 Mar 2003
Journey Through Genius: Great Theorems of Mathematics (Wiley Science Editions)
by William Dunham
ISBN 13: 9780471500308
Format: Illustrated (315 pages) Publisher: Wiley Published: 16 Mar 1990 Other Format: Paperback
Stone Spaces: 3 (Cambridge Studies in Advanced Mathematics, Series Number 3)
by Peter T. Johnstone
ISBN 13: 9780521337793
Format: Paperback (396 pages) Publisher: Cambridge University Press Published: 14 Aug 1986
A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, ... and Complexity: 1 (OXFORD TEXTS IN LOGIC)
by Shawn Hedman
ISBN 13: 9780198529811
Format: Illustrated (452 pages) Publisher: OUP Oxford Published: 08 Jul 2004
Quantum Groups: A Path To Current Algebra: 19 (Australian Mathematical Society Lecture Series, Series Number 19)
by Ross Street
ISBN 13: 9780521695244
Format: Illustrated (160 pages) Publisher: Cambridge University Press Published: 18 Jan 2007
An Introduction to Non-Classical Logic, Second Edition: From If to Is (Cambridge Introductions to Philosophy)
by Graham Priest
ISBN 13: 9780521670265
Format: Paperback (646 pages) Publisher: Cambridge University Press Published: 10 Apr 2008
The Cauchy-Schwarz Master Class: An Introduction to the Art of Mathematical Inequalities (MAA Problem Books)
by J. Michael Steele
ISBN 13: 9780521546775
Format: Illustrated (316 pages) Publisher: Cambridge University Press Published: 15 Jul 2004
Proof Theory: The First Step into Impredicativity (Universitext)
by Wolfram Pohlers
ISBN 13: 9783540693185
Format: Illustrated (388 pages) Publisher: Springer Published: 13 Oct 2008
Transactions on Petri Nets and Other Models of Concurrency III (Lecture Notes in Computer Science / Transactions on Petri Nets and Other Models of Concurrency): 5800
by Kurt Jensen
ISBN 13: 9783642048548
Format: Paperback (296 pages) Publisher: Springer Published: 11 Nov 2009