Your search returned 10 results.

Not what you expected? Check for suggestions

Results
			Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss. by Logic Colloquium (1997 : Leeds, England) Cooper, S. B. (S. Barry) Truss, J. K Association for Symbolic Logic Series: London Mathematical Society lecture note series ; 259. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Cambridge ; New York : Cambridge University Press, 1999 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Computation and automata / Arto Salomaa. by Salomaa, Arto Series: Encyclopedia of mathematics and its applications ; v. 25. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1985 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Effective mathematics of the uncountable / edited by Noam Greenberg, Denis Hirschfeldt, Joel David Hamkins, Russell Miller. by Greenberg, Noam, 1974- [editor,, author.] Hirschfeldt, Denis Roman [editor.] Hamkins, Joel David [editor,, author.] Miller, Russell (Professor of mathematics) [editor,, author.] Series: Lecture notes in logic ; 41. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: [Ithaca, NY?] : Association for Symbolic Logic ; Cambridge : Cambridge University Press, 2013 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Theory and practice of computation : proceedings of Workshop on Computation Theory and Practice WCTP2013, University of the Philippines Diliman, Philippines, 30 September-1 October 2013 / editors, Shin-ya Nishizaki, Masayuki Numao, Jaime D.L. Caro, Merlin Teodosia C. Suarez. by Nishizaki, Shin-ya [editor.] Numao, Masayuki [editor.] Caro, Jaime D. L [editor.] Suarez, Merlin Teodosia C [editor.] Workshop on Computation Theory and Practice (2013: Diliman, Philippines) Material type: Text; Format: available online ; Literary form: Not fiction Publisher: New Jersey : World Scientific, 2014 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Hilbert's tenth problem / Yuri V. Matiyasevich ; with a foreword by Martin Davis. by Matii︠a︡sevich, I︠U︡. V. (I︠U︡riĭ V.) Series: Foundations of computing Material type: Text; Format: available online ; Literary form: Not fiction Language: English Original language: Russian Publication details: Cambridge, Mass. : MIT Press, ©1993 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Computability and logic. by Boolos, George Burgess, John P, 1948- Jeffrey, Richard C Edition: 4th ed. / George S. Boolos, John P. Burgess, Richard C. Jeffrey. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Cambridge ; New York : Cambridge University Press, 2002 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Introducción a la teoría de la computabilidad / Domingo Gallardo López, Pilar Arques Corrales, Ignacio Lesta Pelayo. by Gallardo López, Domingo Arques Corrales, Pilar Lesta Pelayo, Ignacio Series: Textos docentes (Alicante, Spain) Edition: 2. ed. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Alicante : Universidad de Alicante, 2003 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Computability and logic. by Boolos, George Burgess, John P, 1948- Jeffrey, Richard C Edition: 5th ed. / George S. Boolos, John P. Burgess, Richard C. Jeffrey. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Cambridge ; New York : Cambridge University Press, 2007 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Computability in context : computation and logic in the real world / editors, S. Barry Cooper, Andrea Sorbi. by Cooper, S. B. (S. Barry) Sorbi, Andrea, 1956- Material type: Text; Format: available online ; Literary form: Not fiction Publication details: London : Hackensack, NJ : Imperial College Press ; Distributed by World Scientific, ©2011 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Proofs and Computations. by Schwichtenberg, Helmut Wainer, S. S Series: Perspectives in logic Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Cambridge : Cambridge University Press, 2011 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)