Logic and Computer Science 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, Nerode, Anil, Platek, Richard A., Sacks, Gerald E., Scedrov, Andre
Published 1990

Mathematical logic in the 20th century [edited by] Gerald E. Sacks.

Published 2003

Generalized recursion theory II : proceedings of the 1977 Oslo symposium edited by J. E. Fenstad, R. O. Gandy, G. E. Sacks.

Published 1978

Recursion Theory Week Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984 edited by Heinz-Dieter Ebbinghaus, Gert H. Müller, Gerald E. Sacks.

Published 1985

Recursion Theory Week Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989 edited by Klaus Ambos-Spies, Gert H. Müller, Gerald E. Sacks.

Published 1990

Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 edited by H.-D. Ebbinghaus, G.H. Müller, and G.E. Sacks.

Published 1985