Dettaglio del documento
-
Il permalink è stato copiato, puoi utilizzarlo immediatamente.
E’ sufficiente premere i tasti “Ctrl+v” per posizionarlo dove preferite.
<<Labelled deductive systems>> 1 / Dov. M. Gabbay. - Oxford : Clarendon Press, 1996. - XIII, 497 p. ; 24 cm.
Fa parte di
