Your search returned 81 results.

Sort
Results
Ideal Spaces [electronic resource] / by Martin Väth. by
  • Väth, Martin [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 1664
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997
Availability: No items available.
Axiom of Choice [electronic resource] / by Horst Herrlich. by
  • Herrlich, Horst [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 1876
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
Availability: No items available.
Proof Theory and Intuitionistic Systems [electronic resource] / by Bruno Scarpellini. by
  • Scarpellini, Bruno [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 212
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1971
Availability: No items available.
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis [electronic resource] / edited by A. S. Troelstra. by
  • Troelstra, A. S [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 344
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1973
Availability: No items available.
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.
Probabilistic Group Theory, Combinatorics, and Computing [electronic resource] : Lectures from the Fifth de Brún Workshop / edited by Alla Detinko, Dane Flannery, Eamonn O'Brien. by
  • Detinko, Alla [editor.]
  • Flannery, Dane [editor.]
  • O'Brien, Eamonn [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013
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.
Computational Methods and Function Theory [electronic resource] : Proceedings of a Conference, held in Valparaíso, Chile, March 13–18, 1989 / edited by Stephan Ruscheweyh, Edward B. Saff, Luis C. Salinas, Richard S. Varga. by
  • Ruscheweyh, Stephan [editor.]
  • Saff, Edward B [editor.]
  • Salinas, Luis C [editor.]
  • Varga, Richard S [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 1435
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
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.
Pages
(C) Powered by Koha

Powered by Koha