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
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
An Investigation of the Laws of Thought
by George Boole
ISBN 13: 9781603863155
Format: Paperback (336 pages) Publisher: Rough Draft Printing Published: 02 Apr 2010
Mathematical Logic (Undergraduate Texts in Mathematics)
by H.-D. Ebbinghaus,J. Flum,W. Thomas
ISBN 13: 9780387942582
Format: Illustrated (308 pages) Publisher: Springer Published: 01 Dec 1996
Naive Set Theory (Undergraduate Texts in Mathematics)
by P. R. Halmos
ISBN 13: 9780387900926
Format: Hardcover (111 pages) Publisher: Springer Published: 24 Oct 1974
Algorithmic Composition: Paradigms of Automated Music Generation
by Gerhard Nierhaus
ISBN 13: 9783211755396
Format: Hardcover (297 pages) Publisher: Springer Published: 05 Nov 2008
Computability of Julia Sets: Preliminary Entry 23 (Algorithms and Computation in Mathematics)
by Mark Braverman,Michael Yampolsky
ISBN 13: 9783540685463
Format: Illustrated (168 pages) Publisher: Springer Published: 26 Nov 2008
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
LMS: 108 Some Topics in Graph Thry (London Mathematical Society Lecture Note Series, Series Number 108)
by Hian Poh Yap
ISBN 13: 9780521339445
Format: Paperback (240 pages) Publisher: Cambridge University Press Published: 21 Aug 2008
The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today (Logic, Epistemology, and the Unity of Science)
ISBN 13: 9781402050114
Format: Hardcover (360 pages) Publisher: Springer Published: 04 Oct 2006
Typed Lambda Calculi and Applications: 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783540732273
Format: Paperback (397 pages) Publisher: Springer Published: 15 Jun 2007
Robustness and Usability in Modern Design Flows
by Görschwin Fey,Rolf Drechsler
ISBN 13: 9781402065354
Format: Hardcover (182 pages) Publisher: Springer Published: 08 Jan 2008