IMSc Library catalog › Results of search for 'ccl=su:"Logic."'

			Models and games by Vaananen, Jouko. Series: Cambridge studies in advanced mathematics; 00132Material type: 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
			First course in artificial intelligence by Khemani, Deepak. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New delhi ; Tata mcgraw hill education private limited ; 2013Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 7 Call number: 681.3 KHE. Place hold Log in to add tags
			Science of operations Machines, logic and the invention of programming by Priestley, Mark. Series: History of computingMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Springer ; 2011Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 15 Call number: 681.3 PRI. Place hold Log in to add tags
			Introduction to practical formal methods using temporal logic by Fisher, Michael. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Wiley ; 2011Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 2 Call number: 510.6 FIS. Place hold Log in to add tags
			Functional interpretation of logical deduction by Queiroz, Ruy, J G B De \| Oliveira, Anjolina, G De \| Gabbay, Dov M. Series: Advances in logic ; 00005Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Singapore ; World scientific ; 2012Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 7 Call number: 510.6 QUE. Place hold Log in to add tags
			Elements of logical reasoning by Plato Jan Von. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; CUP ; 2013Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 38, Shelf No: 33 Call number: 530.12 PLA. Place hold Log in to add tags
			Krister Segerberg on logic of actions by Trypuz, Robert. Ed. Series: Outstanding contributions of logic ; 00001Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Springer ; 2014Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 9 Call number: 510.6 TRY. Place hold Log in to add tags
			Facing the future Agents and choices in our indeterminist world by Belnap, Nuel \| Perloff, Michael \| Xu, Ming. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Oxford university press ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 47 Call number: 510.6 BEL. Place hold Log in to add tags
			No cover image available Agency and deontic logic by Horty, F. John. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Oxford university press ; 2009Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 4 Call number: 510.6 HOR. Place hold Log in to add tags
			Philosophical logic by Burgess, P. John. Series: Princeton foundations of contemporary philosophyMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New jersey ; Peinceton university press ; 2012Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 48 Call number: 510.6 BUR. Place hold Log in to add tags
			Handbook of philosophical logic (Vol. 17) by Gabbay, M. Dov. Ed \| Guenthner, Franz. Series: Handbook of philosophical logic ; 00017Edition: 2Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Springer ; 2014Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 18, Shelf No: 4 Call number: 510.6(02) GAB. Place hold Log in to add tags
			Introduction to mathematical logic by Mendelson, Elliott. Series: Discrete mathematics and its applications ; 00048Edition: 5Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; CRC press ; 2010Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 6 Call number: 510.6 MEN. Place hold Log in to add tags
			Life and work of Leon Henkin Essays on his contributions by Manzano, Mario. Ed \| Sain, Ildiko \| Alonso, Enrique. Series: Studies in universal logicMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Birkhauser ; 2014Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 5 Call number: 510.6 MAN. Place hold Log in to add tags
			One hundred prisoners and a light bulb by Ditmarsch, Hans Van \| kooi, Barteld. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Springer ; 2015Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 DIT. Place hold Log in to add tags
			Gentzens centenary The quest for consistency by Kahle, Reinhard. Ed \| Rathjen, Michael. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Springer ; 2015Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 4 Call number: 510.6 KAH. Place hold Log in to add tags
			Axiom of Choice [electronic resource] / by Horst Herrlich. by Herrlich, Horst [author.] \| SpringerLink (Online service). Series: Lecture Notes in Mathematics ; 1876Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Decidable Theories I [electronic resource] / by Gert H. Müller, Dirk Siefkes. by Müller, Gert H [author.] \| Siefkes, Dirk [author.] \| SpringerLink (Online service). Series: Lecture Notes in Mathematics ; 120Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1970Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Symposium on Automatic Demonstration [electronic resource] : Held at Versailles/France, December 1968 / edited by M. Laudet, D. Lacombe, L. Nolin, M. Schützenberger. by Laudet, M [editor.] \| Lacombe, D [editor.] \| Nolin, L [editor.] \| Schützenberger, M [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Mathematics ; 125Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1970Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			The Axiom of Constructibility: A Guide for the Mathematician [electronic resource] / by Keith J. Devlin. by Devlin, Keith J [author.] \| SpringerLink (Online service). Series: Lecture Notes in Mathematics ; 617Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1977Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			First Order Categorical Logic [electronic resource] : Model-Theoretical Methods in the Theory of Topoi and Related Categories / by Michael Makkai, Gonzalo E. Reyes. by Makkai, Michael [author.] \| Reyes, Gonzalo E [author.] \| SpringerLink (Online service). Series: Lecture Notes in Mathematics ; 611Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1977Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags

			Models and games by Vaananen, Jouko. Series: Cambridge studies in advanced mathematics; 00132Material type: 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
			First course in artificial intelligence by Khemani, Deepak. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New delhi ; Tata mcgraw hill education private limited ; 2013Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 7 Call number: 681.3 KHE. Place hold Log in to add tags
			Science of operations Machines, logic and the invention of programming by Priestley, Mark. Series: History of computingMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Springer ; 2011Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 15 Call number: 681.3 PRI. Place hold Log in to add tags
			Introduction to practical formal methods using temporal logic by Fisher, Michael. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Wiley ; 2011Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 2 Call number: 510.6 FIS. Place hold Log in to add tags
			Functional interpretation of logical deduction by Queiroz, Ruy, J G B De \| Oliveira, Anjolina, G De \| Gabbay, Dov M. Series: Advances in logic ; 00005Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Singapore ; World scientific ; 2012Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 7 Call number: 510.6 QUE. Place hold Log in to add tags
			Elements of logical reasoning by Plato Jan Von. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; CUP ; 2013Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 38, Shelf No: 33 Call number: 530.12 PLA. Place hold Log in to add tags
			Krister Segerberg on logic of actions by Trypuz, Robert. Ed. Series: Outstanding contributions of logic ; 00001Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Springer ; 2014Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 9 Call number: 510.6 TRY. Place hold Log in to add tags
			Facing the future Agents and choices in our indeterminist world by Belnap, Nuel \| Perloff, Michael \| Xu, Ming. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Oxford university press ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 47 Call number: 510.6 BEL. Place hold Log in to add tags
			No cover image available Agency and deontic logic by Horty, F. John. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Oxford university press ; 2009Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 4 Call number: 510.6 HOR. Place hold Log in to add tags
			Philosophical logic by Burgess, P. John. Series: Princeton foundations of contemporary philosophyMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New jersey ; Peinceton university press ; 2012Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 48 Call number: 510.6 BUR. Place hold Log in to add tags
			Handbook of philosophical logic (Vol. 17) by Gabbay, M. Dov. Ed \| Guenthner, Franz. Series: Handbook of philosophical logic ; 00017Edition: 2Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Springer ; 2014Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 18, Shelf No: 4 Call number: 510.6(02) GAB. Place hold Log in to add tags
			Introduction to mathematical logic by Mendelson, Elliott. Series: Discrete mathematics and its applications ; 00048Edition: 5Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; CRC press ; 2010Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 6 Call number: 510.6 MEN. Place hold Log in to add tags
			Life and work of Leon Henkin Essays on his contributions by Manzano, Mario. Ed \| Sain, Ildiko \| Alonso, Enrique. Series: Studies in universal logicMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Birkhauser ; 2014Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 5 Call number: 510.6 MAN. Place hold Log in to add tags
			One hundred prisoners and a light bulb by Ditmarsch, Hans Van \| kooi, Barteld. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Springer ; 2015Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 DIT. Place hold Log in to add tags
			Gentzens centenary The quest for consistency by Kahle, Reinhard. Ed \| Rathjen, Michael. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Springer ; 2015Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 4 Call number: 510.6 KAH. Place hold Log in to add tags
			Axiom of Choice [electronic resource] / by Horst Herrlich. by Herrlich, Horst [author.] \| SpringerLink (Online service). Series: Lecture Notes in Mathematics ; 1876Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Decidable Theories I [electronic resource] / by Gert H. Müller, Dirk Siefkes. by Müller, Gert H [author.] \| Siefkes, Dirk [author.] \| SpringerLink (Online service). Series: Lecture Notes in Mathematics ; 120Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1970Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Symposium on Automatic Demonstration [electronic resource] : Held at Versailles/France, December 1968 / edited by M. Laudet, D. Lacombe, L. Nolin, M. Schützenberger. by Laudet, M [editor.] \| Lacombe, D [editor.] \| Nolin, L [editor.] \| Schützenberger, M [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Mathematics ; 125Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1970Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			The Axiom of Constructibility: A Guide for the Mathematician [electronic resource] / by Keith J. Devlin. by Devlin, Keith J [author.] \| SpringerLink (Online service). Series: Lecture Notes in Mathematics ; 617Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1977Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			First Order Categorical Logic [electronic resource] : Model-Theoretical Methods in the Theory of Topoi and Related Categories / by Michael Makkai, Gonzalo E. Reyes. by Makkai, Michael [author.] \| Reyes, Gonzalo E [author.] \| SpringerLink (Online service). Series: Lecture Notes in Mathematics ; 611Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1977Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 3008 results.