(12 aprile h.9/11, aula C edificio B) Semantica della logica predicativa del prim'ordine. Calcolo predicativo del prim'ordine
Schema della sezione
-
-
- teoria elementare dei gruppi
- aritmetica di Peano (fine XIX secolo)
- una micro-teoria degli insiemi (Vaught, 1962)