Your search returned 75 results.

Results
		Symbolic logic/ Irving M. Copi. by Copi, Irving M Edition: 5th ed. Material type: Text Language: Eng Publication details: New Delhi : Pearson education, c2006 Availability: Items available for loan: IISER Central Library (1)Call number: 511.3 COP-S. Place hold Add to cart (remove)
		Logic, sets, and recursion Robert L. Causey by Causey, Robert L Edition: 2nd ed. 1st indian ed 2010 Material type: Text Language: Eng Publication details: New Delhi Jones and Bartlett, 2010 Availability: Items available for loan: IISER Central Library (1)Call number: 511.4 Cau-L. Place hold Add to cart (remove)
		A concise introduction to pure mathematics Martin Liebeck. by Liebeck, M. W. (Martin W.), 1954- Series: Chapman & Hall/CRC mathematics Edition: 2nd ed. Material type: Text Language: Eng Publication details: Boca Raton Chapman & Hall/CRC 2006 Other title: Pure mathematics Online access: Click here to access online Availability: Items available for loan: IISER Central Library (1)Call number: 510 LIE-C. Place hold Add to cart (remove)
		Roads to infinity the mathematics of truth and proof John Stillwell by Stillwell, John Material type: Text Language: Eng Publication details: Natick, A K Peters 2010 Availability: Items available for loan: IISER Central Library (1)Call number: 511.3 STI-R. Place hold Add to cart (remove)
		Mathematical logic by Joseph R. Shoenfield. by Shoenfield, Joseph R. (Joseph Robert), 1927- Material type: Text Language: Eng Publication details: Natick Association for Symbolic Logic 2001 Availability: Items available for loan: IISER Central Library (1)Call number: 511.3 SHO-M. Place hold Add to cart (remove)
		Tractatus logico-philosophicus Ludwig Wittgenstein ; translated by D.F. Pears and B.F. McGuinness ; with an introduction by Bertrand Russell. by Wittgenstein, Ludwig, 1889-1951 Pears, David, 1921-2009 McGuinness, Brian Series: Routledge classics Edition: Special indian ed. Material type: Text; Format: print ; Literary form: Not fiction Language: Eng Publication details: London Routledge, 2012 Availability: Items available for loan: IISER Central Library (1)Call number: 192 WIT-T. Place hold Add to cart (remove)
		Phenomenology, logic, and the philosophy of mathematics Richard Tieszen. by Tieszen, Richard L Material type: Text Language: Eng Publication details: New Delhi Cambridge University Press, 2005 Availability: Items available for loan: IISER Central Library (1)Call number: 510.1 TIE-P. Place hold Add to cart (remove)
		An introduction to Godel's Theorems Peter Smith. by Smith, Peter, 1944- Series: Cambridge introductions to philosophy Material type: Text; Format: print ; Literary form: Not fiction Language: Eng Publication details: Cambridge, Cambridge University Press, 2007 Availability: Items available for loan: IISER Central Library (1)Call number: 511.3 SMI-I. Lists: MTH Majors. Place hold Add to cart (remove)
		Bertrand Russell Ray Monk. by Monk, Ray Series: Material type: Text Language: Eng Publication details: New York : Routledge, 1999 Availability: Items available for loan: IISER Central Library (1)Call number: 510.92 MON-B. Place hold Add to cart (remove)
		Model Theory and Algebraic Geometry [electronic resource] : An introduction to E. Hrushovski’s proof of the geometric Mordell-Lang conjecture / edited by Elisabeth Bouscaren. by Bouscaren, Elisabeth [editor.] SpringerLink (Online service) Series: Lecture Notes in Mathematics ; 1696 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998 Online access: Click here to access online Availability: No items available. Add to cart (remove)
		Set Theory and Model Theory [electronic resource] : Proceedings of an Informal Symposium Held at Bonn, June 1–3, 1979 / edited by Ronald Björn Jensen, Alexander Prestel. by Jensen, Ronald Björn [editor.] Prestel, Alexander [editor.] SpringerLink (Online service) Series: Lecture Notes in Mathematics ; 872 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1981 Online access: Click here to access online Availability: No items available. Add to cart (remove)
		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 ; 120 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1970 Online access: Click here to access online Availability: No items available. Add to cart (remove)
		Recursion Theory Week [electronic resource] : Proceedings of a Conference held in Oberwolfach, FRG, March 19–25, 1989 / edited by Klaus Ambos-Spies, Gert H. Müller, Gerald E. Sacks. by Ambos-Spies, Klaus [editor.] Müller, Gert H [editor.] Sacks, Gerald E [editor.] SpringerLink (Online service) Series: Lecture Notes in Mathematics ; 1432 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990 Online access: Click here to access online Availability: No items available. Add to cart (remove)
		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 ; 611 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1977 Online access: Click here to access online Availability: No items available. Add to cart (remove)
		Methods in Mathematical Logic [electronic resource] : Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela August 1–6, 1983 / edited by Carlos Augusto Di Prisco. by Prisco, Carlos Augusto Di [editor.] SpringerLink (Online service) Series: Lecture Notes in Mathematics ; 1130 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1985 Online access: Click here to access online Availability: No items available. Add to cart (remove)
		Nonstandard Asymptotic Analysis [electronic resource] / by Imme van den Berg. by Berg, Imme van den [author.] SpringerLink (Online service) Series: Lecture Notes in Mathematics ; 1249 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987 Online access: Click here to access online Availability: No items available. Add to cart (remove)
		⊨ISILC Logic Conference [electronic resource] : Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 / edited by Gert H. Müller, Arnold Oberschelp, Klaus Potthoff. by Müller, Gert H [editor.] Oberschelp, Arnold [editor.] Potthoff, Klaus [editor.] SpringerLink (Online service) Series: Lecture Notes in Mathematics ; 499 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1975 Online access: Click here to access online Availability: No items available. Add to cart (remove)
		Cabal Seminar 81–85 [electronic resource] : Proceedings, Caltech-UCLA Logic Seminar 1981–85 / edited by Alexander S. Kechris, Donald A. Martin, John R. Steel. by Kechris, Alexander S [editor.] Martin, Donald A [editor.] Steel, John R [editor.] SpringerLink (Online service) Series: Lecture Notes in Mathematics ; 1333 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988 Online access: Click here to access online Availability: No items available. Add to cart (remove)
		Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies [electronic resource] / by Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, Wilfried Sieg. by Buchholz, Wilfried [author.] Feferman, Solomon [author.] Pohlers, Wolfram [author.] Sieg, Wilfried [author.] SpringerLink (Online service) Series: Lecture Notes in Mathematics ; 897 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1981 Online access: Click here to access online Availability: No items available. Add to cart (remove)
		Cylindric Set Algebras [electronic resource] / by Leon Henkin, J. Donald Monk, Alfred Tarski, Hajnalka Andréka, István Németi. by Henkin, Leon [author.] Monk, J. Donald [author.] Tarski, Alfred [author.] Andréka, Hajnalka [author.] Németi, István [author.] SpringerLink (Online service) Series: Lecture Notes in Mathematics ; 883 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1981 Online access: Click here to access online Availability: No items available. Add to cart (remove)

1
2
3
4
Next
Last

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 75 results.