(22/03/2022 h.09/11, aula C Edificio B) Apparato deduttivo del calcolo proposizionale, secondo Church. Il calcolo mappale soddisfa i requisiti di una logica booleana?
Section outline
Per quanto riguarda il calcolo proposizionale e mappale, fare riferimento alle presentazioni disponibili sotto le date 15/03 e 08/03