Mathematical logic in computer science papers
Colloquium on Mathematical Logic in Computer Science (1978 Salgotarjan) B Domolki; Gergely, T.; Colloquia Mathematica Societatis Janos Bolyai, 26, Salgotarjan, 1978 (26. 1978 Salgotarjan)
Amsterdam North-Holland 1981
Localização: IME - Inst. Matemática e Estatística (QA11.7.C D673m )(Acessar)