Gödel Logic: From Natural Deduction to Parallel Computation