Abstract. Dopo aver esaminato le motivazioni per introdurre la logica infinitaria, vengono definite le nozioni fondamentali, seguite dalle indicazioni di alcuni risultati rilevanti di questo argomento.
Logica infinitaria
FERRO, Ruggero
2006-01-01
Abstract
Abstract. Dopo aver esaminato le motivazioni per introdurre la logica infinitaria, vengono definite le nozioni fondamentali, seguite dalle indicazioni di alcuni risultati rilevanti di questo argomento.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.