An abstract is not available
A sound and complete axiom system for the logic Actl
Gnesi S.;
1995
Abstract
An abstract is not availableFile in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_409075-doc_143709.pdf
solo utenti autorizzati
Descrizione: A sound and complete axiom system for the logic Actl
Tipologia:
Documento in Pre-print
Licenza:
NON PUBBLICO - Accesso privato/ristretto
Dimensione
1.03 MB
Formato
Adobe PDF
|
1.03 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
