|
|
|
|
|
|
|
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 ; 891Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1981Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
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 ; 1432Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|