Your search returned 16 results.

Not what you expected? Check for suggestions

Results
	1.	A Course on Mathematical Logic [electronic resource] / by Shashi Mohan Srivastava. by Srivastava, Shashi Mohan [author.] SpringerLink (Online service) Series: Universitext Edition: 2nd ed. 2013. Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Around the Tree [electronic resource] : Semantic and Metaphysical Issues Concerning Branching and the Open Future / edited by Fabrice Correia, Andrea Iacona. by Correia, Fabrice [editor.] Iacona, Andrea [editor.] SpringerLink (Online service) Series: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 361 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3.	A Logical Introduction to Proof [electronic resource] / by Daniel W. Cunningham. by Cunningham, Daniel W [author.] SpringerLink (Online service) Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4.	A Logical Introduction to Proof [electronic resource] / by Daniel W. Cunningham. by Cunningham, Daniel W [author.] SpringerLink (Online service) Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 2013 Online access: Click here to access online Availability: Items available for loan: Central Library, SUST (2)Call number: 510 CUL, ... Place hold Add to cart (remove)
	5.	Programming Logics [electronic resource] : Essays in Memory of Harald Ganzinger / edited by Andrei Voronkov, Christoph Weidenbach. by Voronkov, Andrei [editor.] Weidenbach, Christoph [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7797 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6.	Logic, Rationality, and Interaction [electronic resource] : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings / edited by Davide Grossi, Olivier Roy, Huaxin Huang. by Grossi, Davide [editor.] Roy, Olivier [editor.] Huang, Huaxin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8196 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	7.	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings / edited by Didier Galmiche, Dominique Larchey-Wendling. by Galmiche, Didier [editor.] Larchey-Wendling, Dominique [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8123 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8.	Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings / edited by Ken McMillan, Aart Middeldorp, Andrei Voronkov. by McMillan, Ken [editor.] Middeldorp, Aart [editor.] Voronkov, Andrei [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8312 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	9.	Truth through proof [electronic resource] : a formalist foundation for mathematics / Alan Weir. by Weir, Alan Material type: Text; Literary form: Not fiction ; Audience: Specialized; Publication details: Oxford : Oxford University Press, 2010 Online access: Oxford scholarship online Availability: No items available. Add to cart (remove)
	10.	Propositions, functions, and analysis [electronic resource] : selected essays on Russell's philosophy / Peter Hylton. by Hylton, Peter Material type: Text; Literary form: Not fiction ; Audience: Specialized; Publication details: Oxford : Clarendon Press, 2010 Online access: Oxford scholarship online Availability: No items available. Add to cart (remove)
	11.	Mathematical Foundations of Computer Science 2013 [electronic resource] : 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings / edited by Krishnendu Chatterjee, Jirí Sgall. by Chatterjee, Krishnendu [editor.] Sgall, Jirí [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8087 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	12.	Boolean models and methods in mathematics, computer science, and engineering / edited by Yves Crama, Peter L. Hammer. by Crama, Yves, 1958- Hammer, P. L, 1936-2006 Series: Encyclopedia of mathematics and its applications ; v. 134. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge ; New York : Cambridge University Press, 2010 Online access: Cover image Table of contents only Publisher description Contributor biographical information Availability: Items available for loan: Central Library, SUST (2)Call number: 511.324 BOO, ... Place hold Add to cart (remove)
	13.	The admissible contents of experience / edited by Katherine Hawley and Fiona Macpherson. by Hawley, Katherine (Katherine Jane) Macpherson, Fiona Wiley InterScience (Online service) Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Chichester, West Sussex, UK ; Malden, MA : Wiley-Blackwell, 2011 Online access: Wiley Online Library [Free Download only for SUST IP] Availability: No items available. Add to cart (remove)
	14.	The fragmented politics of urban preservation [electronic resource] : Beijing, Chicago, and Paris / Yue Zhang. by Zhang, Yue Project Muse Series: Globalization and community ; 22 Material type: Text; Literary form: Not fiction Publication details: Minneapolis, MN : University of Minnesota Press, 2013. 2015) Online access: Full text available: Availability: No items available. Add to cart (remove)
	15.	Perspectives on Linguistic Pragmatics [electronic resource] / edited by Alessandro Capone, Franco Lo Piparo, Marco Carapezza. by Capone, Alessandro [editor.] Lo Piparo, Franco [editor.] Carapezza, Marco [editor.] SpringerLink (Online service) Series: Perspectives in Pragmatics, Philosophy & Psychology ; 2 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	16.	A First Course in Topos Quantum Theory [electronic resource] / by Cecilia Flori. by Flori, Cecilia [author.] SpringerLink (Online service) Series: Lecture Notes in Physics ; 868 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)