Logic and algorithmic
Subtitle: an international symposium held in honour of Ernst Specker.
Contributors: Specker, Ernst, 1920-
Series: Monographie no 30 de l'Enseignement mathématique; Monographie ... de l'Enseignement mathématique ;; no 30.
Publisher: L'Enseignement mathématique, Université de Genève
Published: 1982
Place of publication: Genève
Language: eng
Number of pages: 392
Subjects: Specker, Ernst, 1920-; Logic, Symbolic and mathematical.; Algorithms.
Notes: Includes bibliographical references.
Papers from the symposium held in Zürich, Feb. 5-11, 1980.
English, French, and German.