Mathematical logic and its applications
By: edited by Dimiter G. Skordev.
Contributors: Skordev, Dimitur Genchev.; Gödel, Kurt.
Publisher: Plenum Press
Published: 1987
Place of publication: New York, USA
Language: eng
Number of pages: 371
Subjects: Gödel, Kurt -- Congresses.; Logic, Symbolic and mathematical -- Congresses.
Notes: Includes bibliographies and index.
"Proceedings of an Advanced International Summer School and Conference on Mathematical Logic and Its Applications, in honor of the 80th anniversary of Kurt Gödel's birth, held September 24-October 4, 1986, in Druzhba, Bulgaria"--T.p. verso.