Logica matematica/Teoria dei modelli

Indice del libro


Linguaggi e Modelli

modifica

Categoricità

modifica

Teoremi di Lowenheim-Skolem

modifica

Il paradosso di Skolem

modifica

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