Your search returned 123 results.

Results
		Indian logic : its problems as treated by its schools Jonardon Ganeri, (Ed) by Ganeri, jonardon (Krishna Kumar), 1929- Material type: Text; Format: print ; Literary form: Not fiction Language: Eng Publication details: London Routledge, 2001 Availability: Items available for loan: IISER Central Library (1)Call number: 181.4 GAN-I. Place hold Add to cart (remove)
		David Hilbert's lectures on the foundations of arithmetic and logic, 1917-1933 William Ewald. by Ewald, William (Ed.) Sieg, Wilfried Material type: Text; Format: print ; Literary form: Not fiction Language: Eng Publication details: New York Springer 2013 Availability: Items available for loan: IISER Central Library (1)Call number: 516 EWA-D. Place hold Add to cart (remove)
		Kyun aur Kaise Partah Ghose by Ghose, Partah Home, Dipankar Sehgal, Narender K Material type: Text Language: Eng Publication details: New Delhi Vigyan Sagar 2011 Availability: Items available for loan: IISER Central Library (1)Call number: 500 GHO-K. Place hold Add to cart (remove)
		Classical algebra: its nature, origins, and uses Roger Cooke. by Cooke, Roger, 1942- Material type: Text Publication details: New Delhi Wiley 2008 Availability: Items available for loan: IISER Central Library (1)Call number: 512 COO-C. Place hold Add to cart (remove)
		Universal algebra : fundamentals and selected topics Clifford Bergman by Bergman, Clifford Series: Pure and Applied Mathematics Material type: Text Language: Eng Publication details: Boca Raton CRC PRess 2012 Availability: Items available for loan: IISER Central Library (1)Call number: 512 BER-U. 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)
		Logic : A very short introduction Graham Priest by Priest, Graham Material type: Text Language: Eng Publication details: New Delhi Oxford University Press 2006 Availability: Items available for loan: IISER Central Library (1)Call number: 160 PRI-L. 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)
		Cabal Seminar 79–81 [electronic resource] : Proceedings, Caltech-UCLA Logic Seminar 1979–81 / edited by Alexander S. Kechris, Donald A. Martin, Yiannis N. Moschovakis. by Kechris, Alexander S [editor.] Martin, Donald A [editor.] Moschovakis, Yiannis N [editor.] SpringerLink (Online service) Series: Lecture Notes in Mathematics ; 1019 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1983 Online access: Click here to access online Availability: No items available. Add to cart (remove)

First
Previous
1
2
3
4
5
6
7
Next
Last

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 123 results.