Section outline

  • 27 aprile 2016, aula 5C edificio H2bis h 16-18

    Il calcolo predicativo e` una logica booleana: teorema dello scambio e teorema di deduzione.