Results
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Cylindric Set Algebras [electronic resource] / by Leon Henkin, J. Donald Monk, Alfred Tarski, Hajnalka Andréka, István Németi. by
- Henkin, Leon [author.]
- Monk, J. Donald [author.]
- Tarski, Alfred [author.]
- Andréka, Hajnalka [author.]
- Németi, István [author.]
- SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 883
Source: Springer eBooks
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1981
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; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1982
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; Format:
electronic
available online
; 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; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014
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; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1970
Availability: No items available.
|
|
|
|
|
|
|
|
|
|
|
|
|
