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
Save for later
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
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
Essential Mathematical Methods for the Physical Sciences
by K. F. Riley,M. P. Hobson
ISBN 13: 9780521761147
Format: Hardcover (846 pages) Publisher: Cambridge University Press Published: 17 Feb 2011
Logic of Mathematics (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)
by Zofia Adamowicz,Pawel Zbierski
ISBN 13: 9780471060260
Format: Hardcover (272 pages) Publisher: Wiley-Blackwell Published: 07 Apr 1997
Flow, Gesture, and Spaces in Free Jazz: Towards a Theory of Collaboration (Computational Music Science)
by Guerino Mazzola,Paul B. Cherlin,Mathias Rissi,Nathan Kennedy
ISBN 13: 9783540921943
Format: Hardcover (154 pages) Publisher: Springer Published: 12 Jan 2009
DNA Computing: 13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers: 4848 (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783540779612
Format: Paperback (303 pages) Publisher: Springer Published: 08 Feb 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