Your search returned 9 results.

Not what you expected? Check for suggestions
BOOKS
Logic from Computer Science Proceedings, Workshop, Nov. 1989

by Moschovakis, Y N. Ed.

Series: Mathematical Sciences Research Institute, 21Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer Verlag ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 25 Call number: 681.3:510 MOS.

Place hold Log in to add tags
BOOKS
Computer Science Logic 8th Workshop, Poland, 1994

by Pacholski, Leszek. Ed | Tiuryn, Jerzy. Ed.

Series: Lecture notes in computer science ; 00933Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Computational logic and proof theory: 5th Kurt G�del Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings

by Gottlob, Georg | Leitsch, Alexander | Mundici, Daniele Eds.

Series: Lecture notes in computer science ; 01289Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 19 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Cabal Seminar : 79 - 81 proceedings, Caltech-UCLA Logic Seminar. 1979 - 81

by Kechris .A.S | Martin .D.A | Moschovakis .Y.N.

Series: Lecture notes in mathematics (Springer-Verlag) ; 1019Material type: Continuing resource Continuing resource;Language: English; Format: print Publication details: Berlin New York Springer-Verlag ©1978Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 43 Call number: 51 LNM.

Place hold Log in to add tags
E-BOOKS
Logic and combinatorics : [electronic resource] proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985 / Stephen G. Simpson, editor.

by AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Applications of Mathematical Logic to Finite Combinatorics (1985 : Humboldt State University) | Simpson, Stephen G. (Stephen George), 1945- | American Mathematical Society | Institute of Mathematical Statistics | Society for Industrial and Applied Mathematics.

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

Place hold Log in to add tags
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): .

Place hold Log in to add tags
E-BOOKS
Advances in contemporary logic and computer science : [electronic resource] proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil / Walter A. Carnielli, Itala M.L. D'Ottaviano, editors.

by Brazilian Conference on Mathematical Logic (11th : 1996 : Salvador, Brazil) | Carnielli, Walter A. (Walter Alexandre) | D'Ottaviano, Itala M. L, 1944-.

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

Place hold Log in to add tags
E-BOOKS
Advances in logic : [electronic resource] the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas / Su Gao, Steve Jackson, Yi Zhang, editors.

by North Texas Logic Conference (2004 : University of North Texas) | Gao, Su, 1968- | Jackson, Steve, 1957- | Zhang, Yi, 1964 August 22-.

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

Place hold Log in to add tags
BOOKS
Logic and the foundations of game and decision theory edited by Wiebe van der Hoek, Michael Wooldridge.

by Bonanno, Giacomo Ed | Hoek, W. van der | Wooldridge, Michael J.

Series: Texts in logic and games ; 3.Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam Amsterdam University Press, 2008Other title: LOFT 7.Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 40 Call number: 681.3 BON.

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha