Logica intuizionista: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto

In linea

Versione delle 10:10, 5 giu 2004

La logica intuizionista, o logica costruttiva, è la logica dell'intuizionismo matematico e di altre forme di costruttivismo matematico.

Versione delle 00:55, 4 mar 2004 modifica Giomol (discussione \| contributi) 1 231 modifiche Aggiunto indice (ripreso da voce inglese) ← Differenza precedente		Versione delle 10:10, 5 giu 2004 modifica annulla Template namespace initialisation script (discussione) Nessun oggetto della modifica Differenza successiva →
Riga 9:		Riga 9:


	{{~~msg:~~stub}}		{{stub}}