Lucidi sul teorema di Church nella versione riguardante le clausole di Horn
Aggregazione dei criteri
PDF
Per visualizzare il file, fai click su questo link: 9_teoremaChurchLucidi.pdf