Passa al contenuto principale
  • 1 minuto fa
Questa lezione introduce alla "semantica" della Logica del 1° Ordine seguendo l'impostazione iniziata con Gottlob Frege e terminata con Alfred Tarsky.

Consigliato