Your search returned 205 results.

Results
181.	Image from Amazon.com	Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 / edited by F.R. Drake and J.K. Truss. by Logic Colloquium (1986 : Hull, Humberside) Drake, F. R. (Frank Robert) ScienceDirect eBooks Series: Studies in logic and the foundations of mathematics ; v. 124.©1988 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
182.	Image from Amazon.com	Alan Turing : his work and impact / edited by S. Barry Cooper and J. van Leeuwen. by Cooper, S. B. (S. Barry) Leeuwen, J. van (Jan) ScienceDirect eBooks 2013 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
183.	Image from Amazon.com	Commonsense reasoning : an event calculus-based approach / Erik T. Mueller. by Mueller, Erik T [author.] ScienceDirect eBooks Edition: 2nd edition. Publisher: Amsterdam : Morgan Kaufmann, 2014 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
184.		Specifying systems [electronic resource] : the TLA+ language and tools for hardware and software engineers / Leslie Lamport. by Lamport, Leslie Safari eBooks c2003 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
185.	Image from Amazon.com	Commonsense reasoning [electronic resource] / Erik T. Mueller. by Mueller, Erik T Safari eBooks c2006 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
186.	Image from Amazon.com	Commonsense reasoning : an event calculus based approach / Erik T. Mueller. by Mueller, Erik T [author.] Safari eBooks Edition: Second edition. Publisher: Waltham, MA : Morgan Kaufmann, [2015]Copyright date: (copy)2015 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
187.		An introduction to practical formal methods using temporal logic [electronic resource] / Michael Fisher. by Fisher, Michael, 1962- Safari eBooks c2011 Other title: Practical formal methods using temporal logic Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
188.		A first course in mathematical logic and set theory / Michael L. O'Leary. by O'Leary, Michael L [author.] Safari eBooks Publisher: Hoboken, New Jersey : John Wiley & Sons, [2016]Copyright date: (copy)2016 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
189.		Logically determined design [electronic resource] : clockless system design with NULL convention logic / Karl M. Fant. by Fant, Karl M Safari eBooks c2005 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
190.		How to prove it [electronic resource] : a structured approach / Daniel J. Velleman. by Velleman, Daniel J Safari eBooks Edition: 2nd ed. 2006 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
191.	Image from Amazon.com	Circles disturbed [electronic resource] : the interplay of mathematics and narrative / edited by Apostolos Doxiadis and Barry Mazur. by Doxiad(macr)es, Apostolos K, 1953- Mazur, Barry Safari eBooks c2012 Other title: Interplay of mathematics and narrative Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
192.	Image from Amazon.com	Three views of logic [electronic resource] : mathematics, philosophy, and computer science / Donald W. Loveland, Richard E. Hodel, S.G. Sterrett. by Loveland, Donald W Hodel, Richard E Sterrett, S. G Safari eBooks c2014 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
193.		Picturing quantum processes : a first course in quantum theory and diagrammatic reasoning / Bob Coecke, Aleks Kissinger. by Coecke, Bob [author.] Kissinger, Aleks [author.] Safari eBooks Publisher: Cambridge, United Kingdom ; New York, NY : Cambridge University Press, 2017 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
194.		Purity, spectra and localisation [electronic resource] / Mike Prest. by Prest, Mike Safari eBooks Series: Encyclopedia of mathematics and its applications ; v. 121.2009 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
195.		Graph structure and monadic second-order logic [electronic resource] : a language-theoretic approach / Bruno Courcelle, Joost Engelfriet. by Courcelle, B Engelfriet, Joost Safari eBooks Series: Encyclopedia of mathematics and its applications ; v. 138.2012 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
196.	Image from Amazon.com	Discrete structures, logic, and computability / James L. Hein. by Hein, James L [author.] Safari eBooks Edition: Fourth edition. Publisher: Burlington, MA : Jones & Bartlett Learning, [2017]Copyright date: (copy)2017 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
197.		Logic and algebraic structures in quantum computing / edited by Jennifer Chubb, Ali Eskandarian, Valentina Harizanov. by Chubb, Jennifer [editor.] Eskandarian, Ali [editor.] Harizanov, Valentina S [editor.] Safari eBooks Series: Lecture notes in logic ; 45.Publisher: Cambridge, United Kingdom : Cambridge University Press, 2016 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
198.		Temporal logics in computer science : finite-state systems / St(acute)ephane Demri, Valentin Goranko, Martin Lange. by Demri, St(acute)ephane P, 1967- [author.] Goranko, Valentin [author.] Lange, Martin [author.] Safari eBooks Series: Cambridge tracts in theoretical computer science ; 58.Publisher: Cambridge, United Kingdom : Cambridge University Press, 2016 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
199.		Lectures on infinitary model theory / David Marker. by Marker, D. (David), 1958- [author.] Safari eBooks Series: Lecture notes in logic ; 46.Publisher: Cambridge, United Kingdom ; New York, NY, USA : Cambridge University Press, 2016 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
200.	Image from Amazon.com	The search for mathematical roots, 1870-1940 [electronic resource] : logics, set theories and the foundations of mathematics from Cantor through Russell to G(uml)odel / I. Grattan-Guinness. by Grattan-Guinness, I Safari eBooks c2000 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)