Logic and algorithmic : an international symposium held in honour of Ernst Specker

Name: Logic and algorithmic : an international symposium held in honour of Ernst Specker
Author: Specker, Ernst

Web Site CiNii 所蔵館 19館

書誌事項

タイトル: "Logic and algorithmic : an international symposium held in honour of Ernst Specker"

出版者

出版年月

Papers from the symposium held in Zürich, Feb. 5-11, 1980

English, French, and German

Includes bibliographical references