Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems (Applied Logic Series)
by Walter Carnielli,Marcelo Coniglio,Dov M. Gabbay,Paula Gouveia,Cristina Sernadas
ISBN 13: 9781402067815
Format: Hardcover (620 pages) Publisher: Springer Published: 04 Feb 2008
Save for later
Type-2 Fuzzy Logic: Theory and Applications (Studies in Fuzziness and Soft Computing)
by Oscar Castillo,Patricia Melin
ISBN 13: 9783540762836
Format: Hardcover (244 pages) Publisher: Springer Published: 20 Feb 2008
AUTOMATA, FORMAL LANGUAGES AND ALGEBRAIC SYSTEMS - PROCEEDINGS OF AFLAS 2008
by ITO MASAMI ET AL
ISBN 13: 9789814317603
Format: Hardcover (248 pages) Publisher: World Scientific Press Published: 24 Nov 2010
A Course of Modern Analysis
by E. T. Whittaker
ISBN 13: 9781438528151
Format: Paperback (620 pages) Publisher: Book Jungle Published: 04 Nov 2009
Incompleteness in the Land of Sets (Studies in Logic)
by M. Fitting
ISBN 13: 9781904987345
Format: Paperback (156 pages) Publisher: College Publications Published: 19 Feb 2007
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
Natural Deduction, Hybrid Systems and Modal Logics (Trends in Logic)
by Andrzej Indrzejczak
ISBN 13: 9789048187843
Format: Hardcover (514 pages) Publisher: Springer Published: 11 Jun 2010
Mathematical Logic
by Tourlakis
ISBN 13: 9780470280744
Format: Illustrated (312 pages) Publisher: John Wiley & Sons Published: 13 Aug 2008
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
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
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
The Mathematical Olympiad Handbook: An Introduction to Problem Solving based on the First 32 British Mathematical Olympiads 1965-1996 (Oxford Science Publications)
by A. Gardiner
ISBN 13: 9780198501053
Format: Illustrated (248 pages) Publisher: Oxford University Press, U.S.A. Published: 11 Sep 1997