Your search returned 65 results.

Sort
Results
The Syntax and Semantics of Infinitary Languages [electronic resource] / edited by Jon Barwise. by
  • Barwise, Jon [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 72
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1968
Availability: No items available.
Cabal Seminar 77 – 79 [electronic resource] : Proceedings, Caltech-UCLA Logic Seminar 1977 – 79 / 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 ; 839
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.
Lattice Gas Cellular Automata and Lattice Boltzmann Models [electronic resource] : An Introduction / by Dieter A. Wolf-Gladrow. by
  • Wolf-Gladrow, Dieter A [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 1725
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000
Availability: No items available.
From Objects to Diagrams for Ranges of Functors [electronic resource] / by Pierre Gillibert, Friedrich Wehrung. by
  • Gillibert, Pierre [author.]
  • Wehrung, Friedrich [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 2029
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Availability: No items available.
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 ; 891
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.
Decidable Theories II [electronic resource] : The Monadic Second Order Theory of All Countable Ordinals / by J. Richard Büchi, Dirk Siefkes ; edited by G. H. Müller, D. Siefkes. by
  • Büchi, J. Richard [author.]
  • Siefkes, Dirk [author.]
  • Müller, G. H [editor.]
  • Siefkes, D [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 328
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1973
Availability: No items available.
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 ; 1196
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.
Proper Forcing [electronic resource] / by Saharon Shelah. by
  • Shelah, Saharon [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 940
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
Availability: No items available.
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.
Pages
(C) Powered by Koha

Powered by Koha