Mathematical logic
By: edited by R.O. Gandy and C.E.M. Yates ; including prefaces by Solomon Feferman ... [et al.].
Contributors: Gandy, R. O.; Yates, C. E. M.
Series: Collected works of A. M. Turing
Publisher: Elsevier Science; North Holland
Published: 2001
Place of publication: Amsterdam; New York
Language: eng
Number of pages: 293
Subjects: Logic, Symbolic and mathematical.
Notes: Includes bibliographical references (p. 281-287).