Results
|
|
Recursion Theory Week [electronic resource] : Proceedings of a Conference held in Oberwolfach, FRG, March 19–25, 1989 / edited by Klaus Ambos-Spies, Gert H. Müller, Gerald E. Sacks. by
- Ambos-Spies, Klaus [editor.]
- Müller, Gert H [editor.]
- Sacks, Gerald E [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 1432
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.
|
|
|
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.
|
|
|
|