Your search returned 14 results.

Results
	1.		Image from Amazon.com	Symbolic computation and education [electronic resource] / editors, Shangzhi Li, Dongming Wang, Jing-Zhong Zhang. by Li, Shangzhi, 1947- Wang, Dongming, 1961- Zhang, Jingzhong, 1936- ebrary, Inc International Seminar on Symbolic Computation in Education (2006 : Beihang University) Publication details: Singapore ; Hackensack, NJ : World Scientific, c2007 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	2.		Image from Amazon.com	Computability in context [electronic resource] : computation and logic in the real world / editors, S. Barry Cooper, Andrea Sorbi. by Cooper, S. B. (S. Barry) Sorbi, Andrea, 1956- ebrary, Inc Publication details: London : Singapore ; Hackensack, N.J. : Imperial College Press ; World Scientific Pub. Co., 2011 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	3.		Image from Amazon.com	Theory of computation [electronic resource] / George Tourlakis. by Tourlakis, George J ebrary, Inc Publication details: Hoboken, N.J. : Wiley, 2012 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	4.		Image from Amazon.com	Three views of logic : mathematics, philosophy, and computer science / Donald W Loveland, Richard E. Hodel, S. G. Sterrett. by Loveland, Donald W Hodel, Richard E Sterrett, S. G ebrary, Inc Publisher: Princeton, New Jersey : Princeton University Press, 2014Copyright date: �2014 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	5.		Image from Amazon.com	Effective mathematics of the uncountable / edited by Noam Greenberg, Victoria University of Wellington, Joel David Hamkins, City University of New York, Denis Hirschfeldt, University of Chicago, Russell Miller, City University of New York. by Greenberg, Noam, 1974- [editor.] Hamkins, Joel David [editor.] Hirschfeldt, Denis Roman [editor.] Miller, Russell (Professor of mathematics) [editor.] Cambridge eBooks Association for Symbolic Logic [issuing body.] Series: Lecture notes in logic ; 41.Publisher: Cambridge : Cambridge University Press, 2013 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	6.		Image from Amazon.com	Proofs and computations / Helmut Schwichtenberg, Stanley S. Wainer. by Schwichtenberg, Helmut, 1942- [author.] Wainer, S. S [author.] Cambridge eBooks Association for Symbolic Logic [issuing body.] Series: Perspectives in logicPublisher: Cambridge : Cambridge University Press, 2012 Other title: Proofs & Computations Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	7.		Image from Amazon.com	Theory of computation / George Tourlakis. by Tourlakis, George J Wiley eBooks Publisher number: EB00595499 Recorded Books Publication details: Hoboken, N.J. : Wiley, 2012 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	8.		Image from Amazon.com	Handbook of computability theory / edited by Edward R. Griffor. by Griffor, Edward R ScienceDirect eBooks Series: Studies in logic and the foundations of mathematics ; v. 140. Edition: 1st ed. 1999 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	9.		Image from Amazon.com	Computable structures and the hyperarithmetical hierarchy / C.J. Ash, J. Knight. by Ash, C. J Knight, J. (Julia) ScienceDirect eBooks Series: Studies in logic and the foundations of mathematics ; v. 144. Edition: 1st ed. 2000 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	10.		Image from Amazon.com	Computability, complexity, logic / E. Börger. by Börger, E. (Egon), 1946- ScienceDirect eBooks Series: Studies in logic and the foundations of mathematics ; v. 128.Language: English, German 1989 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	11.		Image from Amazon.com	Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 / edited by A.I. Arruda, N.C.A. da Costa, R. Chuaqui. by Latin-American Symposium on Mathematical Logic (3rd : 1976 : State University of Campinas) Arruda, A. I. (Ayda Ignez) Costa, Newton C. A. da Chuaqui, R ScienceDirect eBooks Series: Studies in logic and the foundations of mathematics ; v. 89.1977 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	12.			Effective mathematics of the uncountable [electronic resource] / edited by Noam Greenberg ... [et al.]. by Greenberg, Noam, 1974- Safari eBooks Series: Lecture notes in logic ; 41.2013 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	13.		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)
	14.			Introduction to formal languages, automata theory and computation [electronic resource] / Kamala Krithivasan, Rama R. by Krithivasan, Kamala R., Rama Safari eBooks c2009 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)

Copyright © 2020 Alfaisal University Library. All Rights Reserved.
Tel: +966 11 2158948 Fax: +966 11 2157910 Email: librarian@alfaisal.edu