skip to main content

Logic and computer science logical specification

Paulo A. S. Veloso

Rio de Janeiro PUC 1997

Localização: IME - Inst. Matemática e Estatística    (S M751 1997 v.40 )(Acessar)

Buscando em bases de dados remotas. Favor aguardar.