skip to main content

On the problem of completeness of the intuitionistic calculus

Doris Ferraz de Aragon

Rio de Janeiro Uff 1969

Localização: ICMC - Inst. Ciên. Mat. Computação    (03-01 A659p e.1 )(Acessar)

Buscando em bases de dados remotas. Favor aguardar.