Your search returned 75 results.

Sort
Results
Around Classification Theory of Models [electronic resource] / by Saharon Shelah. by
  • Shelah, Saharon [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 1182
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1986
Availability: No items available.
Infinitary Logic: In Memoriam Carol Karp [electronic resource] : A Collection of Papers by Various Authors / edited by David W. Kueker. by
  • Kueker, David W [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 492
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1975
Other title:
  • A Collection of Papers by Varoius Authors
Availability: No items available.
Stochastic Calculus with Infinitesimals [electronic resource] / by Frederik Herzberg. by
  • Herzberg, Frederik [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 2067
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
Model Theory and Arithmetic [electronic resource] : Comptes Rendus d'une Action Thématique Programmée du C.N.R.S. sur la Théorie des Modèles et l'Arithmétique, Paris, France, 1979/80 / edited by Chantal Berline, Kenneth McAloon, Jean-Pierre Ressayre. by
  • Berline, Chantal [editor.]
  • McAloon, Kenneth [editor.]
  • Ressayre, Jean-Pierre [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 890
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
Availability: No items available.
Fractals and Hyperspaces [electronic resource] / by Keith R. Wicks. by
  • Wicks, Keith R [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 1492
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
Availability: No items available.
Proof Theory [electronic resource] : An Introduction / by Wolfram Pohlers. by
  • Pohlers, Wolfram [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 1407
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989
Availability: No items available.
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 ; 873
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
Availability: No items available.
Banach Spaces and Descriptive Set Theory: Selected Topics [electronic resource] / by Pandelis Dodos. by
  • Dodos, Pandelis [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 1993
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
Availability: No items available.
Nearly Projective Boolean Algebras [electronic resource] : With an Appendix by Sakaé Fuchino / by Lutz Heindorf, Sakaé Fuchino, Leonid B. Shapiro. by
  • Heindorf, Lutz [author.]
  • Fuchino, Sakaé [author.]
  • Shapiro, Leonid B [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 1596
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
Availability: No items available.
Model Theory of Algebra and Arithmetic [electronic resource] : Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1 – 7, 1979 / edited by Leszek Pacholski, Jedrzej Wierzejewski, Alec J. Wilkie. by
  • Pacholski, Leszek [editor.]
  • Wierzejewski, Jedrzej [editor.]
  • Wilkie, Alec J [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 834
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1980
Availability: No items available.
⊨ISILC Proof Theory Symposion [electronic resource] : Dedicated to Kurt Schütte on the Occasion of His 65th Birthday Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 / edited by Justus Diller, Gert H. Müller. by
  • Diller, Justus [editor.]
  • Müller, Gert H [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 500
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1975
Availability: No items available.
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 ; 859
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
Availability: No items available.
A first course in logic / Mark V. Lawson by
  • Lawson, Mark V
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London : CRC Press , 2019
Availability: Items available for loan: IISER Central Library (1)Call number: 511.3 LAW-A.
Classical descriptive set theory/ Alexander S. Kerchris by
  • Kechris, Alexander S
Series: Graduate texts in mathematics. 156
Material type: Text Text
Language: Eng.
Publication details: New york Springer-Verlag c1995
Availability: No items available.
Pages
(C) Powered by Koha

Powered by Koha