Your search returned 266 results.

Not what you expected? Check for suggestions
E-BOOKS
Logic Symposia Hakone 1979, 1980 [electronic resource] : Proceedings of Conferences Held in Hakone, Japan March 21–24, 1979 and February 4–7, 1980 / edited by Gert H. Müller, Gaisi Takeuti, Tosiyuki Tugué.

by Müller, Gert H [editor.] | Takeuti, Gaisi [editor.] | Tugué, Tosiyuki [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 891Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1981Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
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 ; 897Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1981Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Logic Year 1979–80 [electronic resource] : The University of Connecticut, USA / edited by Manuel Lerman, James H. Schmerl, Robert I. Soare.

by Lerman, Manuel [editor.] | Schmerl, James H [editor.] | Soare, Robert I [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 859Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1981Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
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 ; 1019Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1983Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
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 ; 872Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1981Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Constructive Mathematics [electronic resource] : Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11–15, 1980 / edited by Fred Richman.

by Richman, Fred [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 873Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1981Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Formally p-adic Fields [electronic resource] / by Alexander Prestel, Peter Roquette.

by Prestel, Alexander [author.] | Roquette, Peter [author.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1050Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1984Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
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 ; 883Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1981Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Lectures on Formally Real Fields [electronic resource] / by Alexander Prestel.

by Prestel, Alexander [author.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1093Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1984Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Models and Sets [electronic resource] : Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part I / edited by Gert H. Müller, Michael M. Richter.

by Müller, Gert H [editor.] | Richter, Michael M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1103Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1984Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Computation and Proof Theory [electronic resource] : Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II / edited by Egon Börger, Walter Oberschelp, Michael M. Richter, Brigitta Schinzel, Wolfgang Thomas.

by Börger, Egon [editor.] | Oberschelp, Walter [editor.] | Richter, Michael M [editor.] | Schinzel, Brigitta [editor.] | Thomas, Wolfgang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1104Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1984Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Techniques of Admissible Recursion Theory [electronic resource] / by Chi-Tat Chong.

by Chong, Chi-Tat [author.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1106Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1984Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
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 Prisco.

by Prisco, Carlos Augusto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1130Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Category Theory [electronic resource] : Applications to Algebra, Logic and Topology Proceedings of the International Conference Held at Gummersbach, July 6–10, 1981 / edited by Klaus Heiner Kamps, Dieter Pumplün, Walter Tholen.

by Kamps, Klaus Heiner [editor.] | Pumplün, Dieter [editor.] | Tholen, Walter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 962Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1982Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Recursion Theory Week [electronic resource] : Proceedings of a Conference held in Oberwolfach, West Germany April 15–21, 1984 / edited by Heinz-Dieter Ebbinghaus, Gert H. Müller, Gerald E. Sacks.

by Ebbinghaus, Heinz-Dieter [editor.] | Müller, Gert H [editor.] | Sacks, Gerald E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1141Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Nonstandard Analysis-Recent Developments [electronic resource] / edited by Albert Emerson Hurd.

by Hurd, Albert Emerson [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 983Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1983Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Around Classification Theory of Models [electronic resource] / by Saharon Shelah.

by Shelah, Saharon [author.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1182Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
The Enumerative Theory of Conics after Halphen [electronic resource] / by Eduardo Casas-Alvero, Sebastian Xambó-Descamps.

by Casas-Alvero, Eduardo [author.] | Xambó-Descamps, Sebastian [author.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1196Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Topics in Orbit Equivalence [electronic resource] / by Alexander S. Kechris.

by Kechris, Alexander S [author.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1852Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Loeb Measures in Practice: Recent Advances [electronic resource] / by Nigel J. Cutland.

by Cutland, Nigel J [author.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1751Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha