IMSc Library catalog › Results of search for 'su:"First-order logic"'

Your search returned 6 results.

Not what you expected? Check for suggestions

			Principles of Mathematics Revisited by Hintikka, Jaakko. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; Cambridge University press ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 21 Call number: 51 HIN. Place hold Log in to add tags
			Independence-Friendly Logic : A Game-Theoretic Approach / Allen L. Mann, Gabriel Sandu, Merlijn Sevenster. by Mann, Allen L [author.] \| Sandu, Gabriel [author.] \| Sevenster, Merlijn [author.]. Series: London Mathematical Society Lecture Note Series ; no. 386Material type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			A lattice of chapters of mathematics : [electronic resource] interpretations between theorems / Jan Mycielski, Pavel Pudl�ak, and Alan S. Stern. by Mycielski, Jan, 1932- \| Pudl�ak, Pavel, 1952- \| Stern, Alan S, 1958-. Series: Memoirs of the American Mathematical Society ; no. 426.Material type: Text;Language: English; Format: available online ; Literary form: Not fiction Publication details: Providence, R.I., USA : American Mathematical Society, c1990Online access: Contents \| Contents Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Duality and definability in first order logic / [electronic resource] Michael Makkai. by Makkai, Mih�aly, 1939-. Series: Memoirs of the American Mathematical Society ; v. 503Material type: Text;Language: English; Format: available online ; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c1993Online access: Contents \| Contents Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Semigroups underlying first-order logic / [electronic resource] William Craig. by Craig, William, 1918-. Series: Memoirs of the American Mathematical Society ; v. 866Material type: Text;Language: English; Format: available online ; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, 2006Online access: Contents \| Contents Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			No cover image available Regular quantifiers in Logics by Sreejith, A.V [author]. Material type: Text Publication details: 2013Dissertation Note: 2013 ; Ph.D ; HBNIAdvisor(s): Kamal Lodaya.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Call number: HBNI Th64 . Place hold Log in to add tags

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha