Your search returned 81 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)
		Principles of mathematics/ Bertrand Russell by Russell, Bertrand Edition: 1st published 1903 reprinted 2006 Language: Eng Publication details: London: Routledge, c1996 Availability: Items available for loan: IISER Central Library (1)Call number: 510.1 RUS-P. 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)
		The Continuum companion to Leibniz Brandon C. Look (Ed.) by Look, Brandon C. (Ed.) Material type: Text Language: Eng Publication details: New York Continuum 2011 Availability: Items available for loan: IISER Central Library (2)Call number: 193 LOK-C, ... 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)
		Dynamical systems : An introduction Luis Barreira and Claudia Valls. by Barreira, Luis, 1968- Valls, Claudia, 1973- Series: Universitext Material type: Text Language: Eng Publication details: London ; Springer, 2013 Availability: Items available for loan: IISER Central Library (1)Call number: 515.39 BAR-D. Place hold Add to cart (remove)
		The Foundations of Mathematics Ian Stewart by Stewart, Ian Tall, David Material type: Text Language: Eng Publication details: London Oxford University Press 2015 Availability: Items available for loan: IISER Central Library (1)Call number: 511.3 STE-F. 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)

1
2
3
4
5
Next
Last

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 81 results.