Cialdea, M. (1986). Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic. INFORMATION PROCESSING LETTERS, 22(2), 87-90 [10.1016/0020-0190(86)90146-8].
Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic.
CIALDEA, Marta
1986-01-01
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.