Your search returned 81 results.

Sort
Results
Category Theory [electronic resource] : Proceedings of the International Conference held in Como, Italy, July 22–28, 1990 / edited by Aurelio Carboni, Maria Cristina Pedicchio, Guiseppe Rosolini. by
  • Carboni, Aurelio [editor.]
  • Pedicchio, Maria Cristina [editor.]
  • Rosolini, Guiseppe [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 1488
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.
Proceedings of the Summer School in Logic Leeds, 1967 [electronic resource] : N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic / edited by M. H. Löb. by
  • Löb, M. H [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 70
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.
The Axiom of Constructibility: A Guide for the Mathematician [electronic resource] / by Keith J. Devlin. by
  • Devlin, Keith J [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 617
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
Availability: No items available.
Selected Preserver Problems on Algebraic Structures of Linear Operators and on Function Spaces [electronic resource] / by Lajos Molnár. by
  • Molnár, Lajos [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 1895
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
Availability: No items available.
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.
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.
Pages
(C) Powered by Koha

Powered by Koha