Review of: W. de Campos Sanz, A note on Gentzen's LJ and NJ systems isomorphism. Log. J. IGPL 15 (2007), no. 5-6, 767--774 / P.Minari. - In: MATHEMATICAL REVIEWS. - ISSN 0025-5629. - STAMPA. - 2008j:03090:(2008), pp. MR2382502-MR2382502.
Review of: W. de Campos Sanz, A note on Gentzen's LJ and NJ systems isomorphism. Log. J. IGPL 15 (2007), no. 5-6, 767--774.
MINARI, PIERLUIGI
2008
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.