Results
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
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; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1984
Availability: No items available.
|
|
|
|
|
|
|
|
|
|
|
|
|
