Dispensetta sulla gödelizzazione del calcolo proposizionale. (Elencabilità delle sequenze finite di parole; enumerabilità delle dimostrazioni).
Aggregazione dei criteri
PDF
Per visualizzare il file, fai click su questo link: 6b_enumSeqParole.pdf