204SM - LOGICA 2018, Sezione: Assiomi di una teoria degli insiemi (30 aprile 2019, h.11--13, aula 5A edif. H2bis) | Moodle@Units

Home Corsi Supporto

Schema della sezione

- Seleziona attività Una versione assiomatica della teoria degli insiemi di Zermelo-Fraenkel (riporta anche, alla fine, l'assioma di finitezza di Tarski)
  
  Una versione assiomatica della teoria degli insiemi di Zermelo-Fraenkel (riporta anche, alla fine, l'assioma di finitezza di Tarski) File PDF
- Seleziona attività Traduzione di formule della logica predicativa del 1.o ordine nella versione algebrica della logica diadica
  
  Traduzione di formule della logica predicativa del 1.o ordine nella versione algebrica della logica diadica File PDF