..
Review Essay: K. Terui, Which structural rules admit cut elimination? An algebraic criterion. J. Symbolic Logic 72 (2007), no. 3, 738--754 / P.Minari. - In: MATHEMATICAL REVIEWS. - ISSN 0025-5629. - STAMPA. - 2008h:03063:(2008), pp. MR2354898-MR2354898.
Review Essay: K. Terui, Which structural rules admit cut elimination? An algebraic criterion. J. Symbolic Logic 72 (2007), no. 3, 738--754.
MINARI, PIERLUIGI
2008
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.