:quality(100))
imagem ilustrativa
Proof theory and intuitionistic systems
Bruno Scarpellini
Salvar edição
Compartilhar
- Editora: Springer Nature B.V.
- Ano: 1971
- ISBN: 9783540055419
- Proof theory and intuitionistic systems
Descrição: Proof Theory and Intuitionistic Systems