Proof theory: sequent calculi and related formalisms

other_versions_link
Bibliographic Details
Main Author: Bimbo, Katalin
Format: Printed Book
Language:English
Published: Boca Raton CRC Press 2015
Subjects:
Proof theory
Description
Physical Description:376p.

Similar Items