skip to main content

Symbolic logic and mechanical theorem proving

Chin-Liang Chang 1937- Richard Char-Tung Lee 1939-

New York Academic Press 1973

Localização: IME - Inst. Matemática e Estatística    (QA800 C457s e.2 )(Acessar)

Buscando em bases de dados remotas. Favor aguardar.