(17 maggio h.9/11, aula C edificio B) Completezza del calcolo predicativo del prim'ordine
Section outline
-
La presentazione si basa ancora una volta sui lucidi riguardanti il calcolo predicativo del prim'ordine che si trovano fra il materiale del 12 aprile 2022