Description

Questa lezione analizza ciò che succede oggi nella logica. La lezione è divisa nelle 4 parti in cui viene oggi divisa la logica: Teoria dei modelli, teoria della dimostrazione, teoria della ricorsività teoria degli insiemi.