Your search returned 5 results.

Not what you expected? Check for suggestions
BOOKS
Generalized quantifiers and computation: 9th European Summer School in Logic, Language, and Information, ESSLLI'97 workshop France, August 11-22, 1997 : revised lectures

by Vaananen, Jouko Ed.

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

Place hold Log in to add tags
BOOKS
Dependence logic A new approach to independence friendly logic

by Vaananen, Jouko.

Series: London mathematical society student texts; 00070Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Cambridge university press ; 2007Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 9 Call number: 510.6 VAA.

Place hold Log in to add tags
BOOKS
Models and games

by Vaananen, Jouko.

Series: Cambridge studies in advanced mathematics; 00132Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Cambridge university press ; 2011Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 9 Call number: 510.6 VAA.

Place hold Log in to add tags
E-BOOKS
Generalized Quantifiers and Computation [electronic resource] : 9th European Summer School in Logic, Language, and Information ESSLLI’97Workshop Aix-en-Provence, France, August 11–22, 1997 Revised Lectures / edited by Jouko Väänänen.

by Väänänen, Jouko [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1754Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Logic, Language, Information, and Computation [electronic resource] : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings / edited by Jouko Väänänen, Åsa Hirvonen, Ruy de Queiroz.

by Väänänen, Jouko [editor.] | Hirvonen, Åsa [editor.] | de Queiroz, Ruy [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9803 | Lecture Notes in Computer Science ; 9803Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

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

Powered by Koha