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
Series:Discrete mathematics and its applications
Subjects:
Proof theory
Non classical logic
Display calculi

UL

Holdings details from UL
Call Number: 510.6 BIM
510.6 BIM;1
Copy Live Status Unavailable
Copy Live Status Unavailable

Similar Items