Seminario di Logica permanente

Sei in: Home › Download

Materiale scaricabile

In questa sezione potete trovare slide, dispense e in generale materiale scaricabile.

Algebra della logica

Ricorsività

Logiche non monotone

Teoria dei modelli

Teoria degli insiemi

Logica filosofica

Teoria della dimostrazione

Filosofia della logica

Filosofia della matematica

Logica lineare

Informatica teorica

 Teoria delle categorie