TY  - RPRT
TI  - Gödel Logic: from Natural Deduction to Parallel Computation
AU  - Federico Aschieri
AU  - Agata Ciabattoni
AU  - Francesco A. Genco
PY  - 2017
UR  - https://arxiv.org/abs/1607.05120
ID  - 1607.05120
ER  -