Logic and algorithmic: an international symposium held in honour of Ernst Specker.
Logic and algorithmic: an international symposium held in honour of Ernst Specker.
- Genève: L'Enseignement mathématique, c1982.
- 392 p.; 24 cm.
- L'Enseignement mathématique; 30. .
- L'Enseignement mathématique; 30. .
Papers from the symposium held in Zürich, Feb. 5-11, 1980. English, French, and German.
Includes bibliographical references.
90.00F (pbk.)
82184564 //r91
Specker, Ernst, 1920-
Logique symbolique et mathématique.
Algorithmes.
Logic, Symbolic and mathematical.
Algorithms.
511.3
Papers from the symposium held in Zürich, Feb. 5-11, 1980. English, French, and German.
Includes bibliographical references.
90.00F (pbk.)
82184564 //r91
Specker, Ernst, 1920-
Logique symbolique et mathématique.
Algorithmes.
Logic, Symbolic and mathematical.
Algorithms.
511.3