Verso la teoria della dimostrazione: il teorema di eliminazione del taglio per LK

Vito Michele Abrusci, Lorenzo Tortora de Falco
  • January 2014, Springer Science + Business Media
  • DOI: 10.1007/978-88-470-5538-4_4

The authors haven't yet claimed this publication.

Read Publication

http://dx.doi.org/10.1007/978-88-470-5538-4_4

In partnership with: