Proof theory: sequent calculi and related formalisms

other_versions_link
Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Bimbo, Katalin
Μορφή: Printed Book
Γλώσσα:English
Έκδοση: Boca Raton CRC Press 2015
Θέματα:
Proof theory
Περιγραφή
Φυσική περιγραφή:376p.

Παρόμοια τεκμήρια