Refine your search

Your search returned 124 results.

Sort
Results
Topological Model Theory [electronic resource] / by Jörg Flum, Martin Ziegler. by
  • Flum, Jörg [author.]
  • Ziegler, Martin [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 769
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.
Techniques of Admissible Recursion Theory [electronic resource] / by Chi-Tat Chong. by
  • Chong, Chi-Tat [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 1106
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
Availability: No items available.
Mathematical Logic and Applications [electronic resource] : Proceedings of the Logic Meeting held in Kyoto, 1987 / edited by Juichi Shinoda, Tosiyuki Tugué, Theodore A. Slaman. by
  • Shinoda, Juichi [editor.]
  • Tugué, Tosiyuki [editor.]
  • Slaman, Theodore A [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 1388
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
Availability: No items available.
Topics in Orbit Equivalence [electronic resource] / by Alexander S. Kechris. by
  • Kechris, Alexander S [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 1852
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004
Availability: No items available.
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 ; 1104
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
Availability: No items available.
Cambridge Summer School in Mathematical Logic [electronic resource] : Held in Cambridge/England, August 1–21, 1971 / edited by A. R. D. Mathias, H. Rogers. by
  • Mathias, A. R. D [editor.]
  • Rogers, H [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 337
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.
Constructive Commutative Algebra [electronic resource] : Projective Modules Over Polynomial Rings and Dynamical Gröbner Bases / by Ihsen Yengui. by
  • Yengui, Ihsen [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 2138
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015
Availability: No items available.
Set Theory and its Applications [electronic resource] : Proceedings of a Conference held at York University, Ontario, Canada, Aug. 10–21, 1987 / edited by Juris Steprāns, Stephen Watson. by
  • Steprāns, Juris [editor.]
  • Watson, Stephen [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 1401
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
Availability: No items available.
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.
Substitutions in Dynamics, Arithmetics and Combinatorics [electronic resource] / edited by N. Pytheas Fogg, Valéré Berthé, Sébastien Ferenczi, Christian Mauduit, Anne Siegel. by
  • Fogg, N. Pytheas [editor.]
  • Berthé, Valéré [editor.]
  • Ferenczi, Sébastien [editor.]
  • Mauduit, Christian [editor.]
  • Siegel, Anne [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 1794
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002
Availability: No items available.
Lists:
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.
Primality Testing and Abelian Varieties Over Finite Fields [electronic resource] / by Leonard M. Adleman, Ming-Deh A. Huang. by
  • Adleman, Leonard M [author.]
  • Huang, Ming-Deh A [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 1512
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
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.
Pages
(C) Powered by Koha

Powered by Koha