COLLOCAZIONE | |||||||||||||
TITOLO | A completeness proof for infinitary intuitionistic logic. | ||||||||||||
AUTORE | Bernini, Sergio; | ||||||||||||
PAGINE | 7-13 | ||||||||||||
STA IN |
| ||||||||||||
Documento per sola consultazione interna |
COLLOCAZIONE | |||||||||||||
TITOLO | A completeness proof for infinitary intuitionistic logic. | ||||||||||||
AUTORE | Bernini, Sergio; | ||||||||||||
PAGINE | 7-13 | ||||||||||||
STA IN |
| ||||||||||||
Documento per sola consultazione interna |