Structural proof theory

Structural proof theory

Bibliographic Details
Main Author: Negri, Sara 1967-
Other Authors: Von Plato, Jan
Format: Book
Language:English
Published: Cambridge Cambridge University Press 2001.
Subjects:
Proof theory.