Logical foundations of computer science proceedings
Symposium on Logical Foundations of Computer Science (3. 1994 Ptersburg) Anil Nerode; Yu V Matiyasevich
Berlin Springer 1994
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.813 e.1 ) e outros locais(Acessar)