Refine your search

Your search returned 124 results.

Sort
Results
Formally p-adic Fields [electronic resource] / by Alexander Prestel, Peter Roquette. by
  • Prestel, Alexander [author.]
  • Roquette, Peter [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 1050
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.
Topics in Set Theory [electronic resource] : Lebesgue Measurability, Large Cardinals, Forcing Axioms, Rho-functions / by Mohamed Bekkali. by
  • Bekkali, Mohamed [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 1476
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.
Injective Choice Functions [electronic resource] / by Michael Holz, Klaus-Peter Podewski, Karsten Steffens. by
  • Holz, Michael [author.]
  • Podewski, Klaus-Peter [author.]
  • Steffens, Karsten [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 1238
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987
Availability: No items available.
Classification Theory [electronic resource] : Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15–19, 1985 / edited by John T. Baldwin. by
  • Baldwin, John T [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 1292
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987
Availability: No items available.
Nonstandard Analysis-Recent Developments [electronic resource] / edited by Albert Emerson Hurd. by
  • Hurd, Albert Emerson [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 983
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1983
Availability: No items available.
Category Theory [electronic resource] : Applications to Algebra, Logic and Topology Proceedings of the International Conference Held at Gummersbach, July 6–10, 1981 / edited by Klaus Heiner Kamps, Dieter Pumplün, Walter Tholen. by
  • Kamps, Klaus Heiner [editor.]
  • Pumplün, Dieter [editor.]
  • Tholen, Walter [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 962
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.
The Homology of Iterated Loop Spaces [electronic resource] / by Frederick R. Cohen, Thomas J. Lada, J. Peter May. by
  • Cohen, Frederick R [author.]
  • Lada, Thomas J [author.]
  • May, J. Peter [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 533
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1976
Availability: No items available.
Recursion on the Countable Functionals [electronic resource] / by Dag Normann. by
  • Normann, Dag [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 811
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.
Lectures on Formally Real Fields [electronic resource] / by Alexander Prestel. by
  • Prestel, Alexander [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 1093
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.
Logic and Computer Science [electronic resource] : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20–28, 1988 / by Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov ; edited by Piergiorgio Odifreddi. by
  • Homer, Steven [author.]
  • Nerode, Anil [author.]
  • Platek, Richard A [author.]
  • Sacks, Gerald E [author.]
  • Scedrov, Andre [author.]
  • Odifreddi, Piergiorgio [editor.]
  • SpringerLink (Online service)
Series: C.I.M.E. Foundation Subseries ; 1429
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.
Model Theory in Algebra, Analysis and Arithmetic [electronic resource] : Cetraro, Italy 2012, Editors: H. Dugald Macpherson, Carlo Toffalori / by Lou van den Dries, Jochen Koenigsmann, H. Dugald Macpherson, Anand Pillay, Carlo Toffalori, Alex J. Wilkie. by
  • Dries, Lou van den [author.]
  • Koenigsmann, Jochen [author.]
  • Macpherson, H. Dugald [author.]
  • Pillay, Anand [author.]
  • Toffalori, Carlo [author.]
  • Wilkie, Alex J [author.]
  • SpringerLink (Online service)
Series: C.I.M.E. Foundation Subseries ; 2111
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014
Availability: No items available.
Applications of Sheaves [electronic resource] : Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21, 1977 / edited by Michael Fourman, Christopher Mulvey, Dana Scott. by
  • Fourman, Michael [editor.]
  • Mulvey, Christopher [editor.]
  • Scott, Dana [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 753
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1979
Availability: No items available.
Symposium on Automatic Demonstration [electronic resource] : Held at Versailles/France, December 1968 / edited by M. Laudet, D. Lacombe, L. Nolin, M. Schützenberger. by
  • Laudet, M [editor.]
  • Lacombe, D [editor.]
  • Nolin, L [editor.]
  • Schützenberger, M [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 125
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1970
Availability: No items available.
Loeb Measures in Practice: Recent Advances [electronic resource] / by Nigel J. Cutland. by
  • Cutland, Nigel J [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 1751
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.
Recursion Theory Week [electronic resource] : Proceedings of a Conference held in Oberwolfach, West Germany April 15–21, 1984 / edited by Heinz-Dieter Ebbinghaus, Gert H. Müller, Gerald E. Sacks. by
  • Ebbinghaus, Heinz-Dieter [editor.]
  • Müller, Gert H [editor.]
  • Sacks, Gerald E [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 1141
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1985
Availability: No items available.
Models and Sets [electronic resource] : Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part I / edited by Gert H. Müller, Michael M. Richter. by
  • Müller, Gert H [editor.]
  • Richter, Michael M [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 1103
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.
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.
Pages
(C) Powered by Koha

Powered by Koha