Your search returned 5 results.

Not what you expected? Check for suggestions
BOOKS
Handbook of Logic and Language

by van Benthem, Johan. Ed | ter Meulen, Alice. Ed.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Amsterdam ; Elsevier ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 18, Shelf No: 3 Call number: 510.6(02) BEN.

BOOKS
Language in Action : Categories, Lambdas and Dynamic Logic

by van Benthem, Johan.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; MIT Press ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 47 Call number: 510.6 BEN.

BOOKS
Exploring logical dynamics

by van Benthem, Johan.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; CSLI pub. & Folli ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 47 Call number: 510.6 BEN.

BOOKS
Logic of time: model-theoretic investigation into the varieties of temporal ontology and temporal discourse

by van Benthem, Johan.

Series: Synthese Library; Vol. 156Edition: 2Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Dordrecht ; Kluwer academic publishers ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 10 Call number: 510.6 VAN.

E-BOOKS
Models of Strategic Reasoning [electronic resource] : Logics, Games, and Communities / edited by Johan van Benthem, Sujata Ghosh, Rineke Verbrugge.

by van Benthem, Johan [editor.] | Ghosh, Sujata [editor.] | Verbrugge, Rineke [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 8972 | Lecture Notes in Computer Science ; 8972Edition: 1st ed. 2015.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, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha