Your search returned 2 results.

Not what you expected? Check for suggestions
BOOKS
Logic for Applications

by Nerode, Anil | Shore, Richard A.

Series: Texts and Monographs in Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 46 Call number: 681.3.06 NER.

E-BOOKS
Recursion theory / [electronic resource] [edited by Anil Nerode, Richard A. Shore].

by Nerode, Anil, 1932- | Shore, Richard A, 1946- | American Mathematical Society | AMS-ASL Summer Institute on Recursion Theory (1982 : Cornell University) | Association for Symbolic Logic.

Series: Proceedings of symposia in pure mathematics ; v. 42Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, 1985Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha