Negri, Sara, 1967-, Structural proof theory / Sara Negri, Jan von Plato - xvii, 257 páginas ; ISBN: 0521793076 (empastado, cubierta dura) Subjects--Topical Terms: Teoría de la demostración LC Class. No.: QA9.54 / N44 Dewey Class. No.: 511.3