Basic Category Theory for Computer Scientists (Foundations of computing)
by Benjamin C. Pierce
ISBN 13: 9780262660716
Format: Paperback (116 pages) Publisher: MIT Press Published: 30 Sep 1991
Save for later
A Geometry of Approximation: Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns: 27 (Trends in Logic)
by Mihir Chakraborty, Piero Pagliani
ISBN 13: 9781402086212
Format: Hardcover (706 pages) Publisher: Springer Published: 24 Oct 2008
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
Logical Frameworks for Truth and Abstraction,135: An Axiomatic Study: Volume 135 (Studies in Logic and the Foundations of Mathematics)
by A. Cantini
ISBN 13: 9780444823069
Format: Illustrated (250 pages) Publisher: Elsevier Published: 14 Mar 1996
Handbook of Weighted Automata (Monographs in Theoretical Computer Science. An EATCS Series)
by Manfred Droste,Werner Kuich,Heiko Vogler
ISBN 13: 9783642014918
Format: Illustrated (628 pages) Publisher: Springer Published: 28 Sep 2009
Diamond: A Paradox Logic (2Nd Edition): Volume 23 (Series on Knots & Everything)
by Nathaniel S Hellerstein
ISBN 13: 9789814287135
Format: Illustrated (312 pages) Publisher: Wspc Published: 26 Jan 2010
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
Logical Foundations of Proof Complexity (Perspectives in Logic)
by Stephen Cook,Phuong Nguyen
ISBN 13: 9780521517294
Format: Illustrated (496 pages) Publisher: Cambridge University Press Published: 25 Jan 2010
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
Basic Simple Type Theory: 42 (Cambridge Tracts in Theoretical Computer Science, Series Number 42)
by J. Roger Hindley
ISBN 13: 9780521465182
Format: Hardcover (200 pages) Publisher: Cambridge University Press Published: 31 Jul 1997