Mathematical logic
By: edited by Petio Petrov Petkov.
Contributors: Petkov, Petio Petrov.; Heyting, A. 1898-
Publisher: Plenum Press
Published: 1990
Place of publication: New York
Language: eng
Number of pages: 412
Subjects: Logic, Symbolic and mathematical -- Congresses.
Notes: Includes bibliographical references and index.
"Proceedings of the Summer School and Conference on Mathematical Logic, honourably dedicated to the ninetieth anniversary of Arend Heyting (1898-1980), held September 13-23, 1988, in Chaika (near Varna), Bulgaria"--T.p. verso.