Logica matematica/Teoria dei modelli

Indice del libro


Linguaggi e ModelliModifica

CategoricitàModifica

Teoremi di Lowenheim-SkolemModifica

Il paradosso di SkolemModifica

  Questo modulo è solo un abbozzo. Contribuisci a migliorarlo secondo le convenzioni di Wikibooks