|
|
|
Mathematical logic in the 20th century by Sacks, Gerald E. Material type: Text;Language: ; Format:
print
Publication details: Singapore ; Singapore University Press: World Scientific, ; c2003Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 8 Call number: 510.6 SAC.
|
|
|
|
|
|
|
|
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: Lecture Notes in Mathematics ; 1429Source: 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): .
|
|
|
|
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): .
|