Structural proof theory

Materias

• Proof theory

Ediciones (4)

• Structural Proof Theory (2011)

  Cambridge University Press · inglés · ISBN 9780511826139

• Structural Proof Theory (2010)

  Cambridge University Press · inglés · ISBN 9780511527340

• Structural Proof Theory (2008)

  Cambridge University Press · inglés · ISBN 9780521068420

• Structural Proof Theory (2001)

  Cambridge University Press · inglés · ISBN 9780521793070

Más obras de Sara Negri

Mathesis Universalis, Computability and Proof