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