Your search returned 65 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
David Hilbert's lectures on the foundations of arithmetic and logic, 1917-1933 William Ewald. by
  • Ewald, William (Ed.)
  • Sieg, Wilfried
Material type: Text 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
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 Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998
Online access:
Availability: No items available.
Add to cart
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 Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1981
Online access:
Availability: No items available.
Add to cart
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 Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1970
Online access:
Availability: No items available.
Add to cart
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 Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
Online access:
Availability: No items available.
Add to cart
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 Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1977
Online access:
Availability: No items available.
Add to cart
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 Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1985
Online access:
Availability: No items available.
Add to cart
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 Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987
Online access:
Availability: No items available.
Add to cart
⊨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 Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1975
Online access:
Availability: No items available.
Add to cart
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 Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988
Online access:
Availability: No items available.
Add to cart
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 Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1981
Online access:
Availability: No items available.
Add to cart
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 Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1981
Online access:
Availability: No items available.
Add to cart
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 Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1983
Online access:
Availability: No items available.
Add to cart
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 ; 1050
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1984
Online access:
Availability: No items available.
Add to cart
Topics in Set Theory [electronic resource] : Lebesgue Measurability, Large Cardinals, Forcing Axioms, Rho-functions / by Mohamed Bekkali. by
  • Bekkali, Mohamed [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 1476
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
Online access:
Availability: No items available.
Add to cart
Injective Choice Functions [electronic resource] / by Michael Holz, Klaus-Peter Podewski, Karsten Steffens. by
  • Holz, Michael [author.]
  • Podewski, Klaus-Peter [author.]
  • Steffens, Karsten [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 1238
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987
Online access:
Availability: No items available.
Add to cart
Classification Theory [electronic resource] : Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15–19, 1985 / edited by John T. Baldwin. by
  • Baldwin, John T [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 1292
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987
Online access:
Availability: No items available.
Add to cart
Nonstandard Analysis-Recent Developments [electronic resource] / edited by Albert Emerson Hurd. by
  • Hurd, Albert Emerson [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 983
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1983
Online access:
Availability: No items available.
Add to cart
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 ; 962
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1982
Online access:
Availability: No items available.
Add to cart
The Homology of Iterated Loop Spaces [electronic resource] / by Frederick R. Cohen, Thomas J. Lada, J. Peter May. by
  • Cohen, Frederick R [author.]
  • Lada, Thomas J [author.]
  • May, J. Peter [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 533
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1976
Online access:
Availability: No items available.
Add to cart
Pages
(C) Powered by Koha

Powered by Koha