Scientific review
Review of: "Lyon, Tim, On the correspondence between nested calculi and semantic systems for intuitionistic logics. J. Logic Comput. 31, no. 1, 213--265." / Pierluigi Minari. - ELETTRONICO. - MR4212866:(2022), pp. 0-0.
Review of: "Lyon, Tim, On the correspondence between nested calculi and semantic systems for intuitionistic logics. J. Logic Comput. 31, no. 1, 213--265."
Pierluigi Minari
2022
Abstract
Scientific review
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.
