Colloquium on the Foundations of Mathematics, Mathematical Machines and Their Applications. Tihany, 11-15. Sept. 1962 (Budapest, 1965)
Bditor LÁSZLÓ KALMÁR Professor at the József Attila University of Szeged © Akadémiai Kiadó. Budapest 1965 Not to be sold in France and the French Union Joint edition published by Akadémiai Kiadó, Budapest and Gauthier—Villars, Paris Printed in Hungary