Mathematical logic in computer science /

Na minha lista:
Detalhes bibliográficos
Corporate Authors: Bolyai Janos Mathematikai Tarsulat, Colloquium on Mathematical Logic in Computer Science
Outros Autores: Domolki, B., Gergely, T. (Tamás)
Formato: Conference Proceeding Livro
Idioma:English
Publicado em: Amsterdam ; New York : North-Holland Pub. Co., 1981.
Colecção:Colloquia mathematica Societatis Janos Bolyai, 26
Assuntos:
Descrição
Descrição do item:Papers presented at the Colloquium on Mathematical Logic in Computer Science held in Salgotarjan, September 10-15, 1978 under the auspices of Bolyai Janos Mathematical Society.
Descrição Física:758 p. : ill. ; 25 cm.
ISBN:0444854401
ISSN:0139-3383 ;