Indecidibilità della logica predicativa diadica (Dispensa sul teorema limitativo di Church)
Aggregazione dei criteri
PDF
Per visualizzare il file, fai click su questo link: 5g_teoremaChurchLucidi.pdf