Your search returned 8 results.

Not what you expected? Check for suggestions
BOOKS
Knowing from Words : Western and Indian Philosophical Analysis of Understanding and Testimony

by Matilal, Bimal Krishna. Ed | Chakrabarti, Arindam. Ed.

Series: Synthese Library, 230Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Netherlands ; Kluwer ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 6 Call number: 510.6 MAT.

BOOKS
Quantifiers: Logics, Models and Computation - 2 Vols. I:Surveys; II: Contributions

by Krynicki, Michal. Ed | Mostowski, Marcin. Ed | Szczerba, Lestaw W. Ed.

Series: Synthese Library, Vols. 248-249Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Netherlands ; Kluwer ; 1995Availability: Items available for loan: IMSc Library (2). Location(s): First Floor, Rack No: 28, Shelf No: 5 Call number: 510.6 KRY.

BOOKS
First Order Modal Logic

by Fitting, Melvin | Mendelsohn, Richard L.

Series: Synthese Library, Vol. 277Material type: Text Text;Language: ; Format: print Publication details: Boston ; Kluwer Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 2 Call number: 510.6 FIT.

BOOKS
Mechanism, mentalism, and metamathematics: essay of finitism

by Webb, Judson.

Series: Synthese library; v.137Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: 1980; Kluwer Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 10 Call number: 510.6 WEBB.

BOOKS
The dynamics of thought

by Gärdenfors, Peter.

Series: Synthese libraryMaterial type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Dordrecht Springer 2005Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 2 Call number: 510.6 GAR.

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.

BOOKS
Dynamic epistemic logic

by Ditmarsch, Hans Van | Hoek, Wiebe Van der | Kooi, Barteld.

Series: Synthese library ; 00337Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Netherlands ; Springer ; 2007Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 DIT.

BOOKS
Reasoning about preference dynamics

by Liu, Fenrong.

Series: Synthese library : studies in epistemology, logic, methodology, and philosophy of science ; 354Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: Eng Publication details: Dordrecht New York Springer 2011Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 5 Call number: 510.6 LIU.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha