..

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

..
2008
2008h:03063
MR2354898
MR2354898
P.Minari
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.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/327432
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact