Your search returned 5 results.

Not what you expected? Check for suggestions
E-BOOKS
Methods and applications of mathematical logic : [electronic resource] proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 / Walter A. Carnielli and Luiz Paulo de Alcantara, editors.

by Latin-American Symposium on Mathematical Logic (7th : 1985 : State University of Campinas) | Carnielli, Walter A. (Walter Alexandre) | Alcantara, Luiz Paulo de, 1944- | Sociedade Brasileira de L�ogica | Sociedade Brasileira de Matem�atica | Association for Symbolic Logic.

Series: Contemporary mathematics (American Mathematical Society) ; v. 69.Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c1988Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Model theoretic methods in finite combinatorics : [electronic resource] AMS-ASL joint special session, January 5-8, 2009, Washington, DC / Martin Grohe, Johann A. Makowsky, editors.

by AMS-ASL Joint Special Session on Model Theoretic Methods in Finite Combinatorics (2009 : Washington, D.C.) | Grohe, M. (Martin) | Makowsky, Johann A, 1948- | American Mathematical Society | Association for Symbolic Logic.

Series: Contemporary mathematics (American Mathematical Society) ; v. 558.Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c2011Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Structure of language and its mathematical aspects. [electronic resource] [Proceedings. Sponsored by American Mathematical Society, Association for Symbolic Logic, and Linguistic Society of America]

by Symposium in Applied Mathematics (12th : 1960 : New York) | American Mathematical Society.

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

E-BOOKS
Proceedings. [electronic resource] Edited by Leon Henkin and [others].

by Tarski Symposium University of California, Berkeley, 1971 | Tarski, Alfred | Henkin, L�eon [ed.] | University of California, Berkeley | Association for Symbolic Logic | International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.

Series: Proceedings of symposia in pure mathematics ; v. 25Material type: Text Text;Language: English; Format: available online remote festschrift ; Literary form: Not fiction Publication details: Providence, Published for the Association for Symbolic Logic by American Mathematical Society, 1974Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

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