Indecidibilità della logica predicativa diadica (Dispensa sul teorema limitativo di Church)
Completion requirements
PDF
Click 5g_teoremaChurchLucidi.pdf link to view the file.