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
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha