G. A. Kavvos

Esplora le sfumature della logica intuizionistica e le sue implicazioni nella matematica e nella scienza dei computer.