Negri,, Sara Structural proof theory / Sara Negri, Jan von Plato ; with appendix Aarne Ranta

Structural proof theory / Sara Negri, Jan von Plato ; with appendix Aarne Ranta . - Cambridge : Cambridge University Press, 2001 . - XVII, 256 p. 24 cm
0-521-79307-6 (Encadernado)

510.6