Dispensetta sulla gödelizzazione del calcolo proposizionale. (Elencabilità delle sequenze finite di parole; enumerabilità delle dimostrazioni).
Completion requirements
PDF
Click 6b_enumSeqParole.pdf link to view the file.