.
Review Essay: Proof-finding algorithms for classical and subclassical propositional logics (M. Bunder, R. M. Rizkalla, Notre Dame J. Form. Log. 50 (2009), no. 3, 261–273) / P. Minari. - In: MATHEMATICAL REVIEWS. - ISSN 0025-5629. - ELETTRONICO. - (2012), pp. MR2572974-MR2572974.
Review Essay: Proof-finding algorithms for classical and subclassical propositional logics (M. Bunder, R. M. Rizkalla, Notre Dame J. Form. Log. 50 (2009), no. 3, 261–273).
MINARI, PIERLUIGI
2012
Abstract
.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.