Proof theory: sequent calculi and related formalisms

other_versions_link
Bibliografiska uppgifter
Huvudupphovsman: Bimbo, Katalin
Materialtyp: Printed Book
Språk:English
Publicerad: Boca Raton CRC Press 2015
Ämnen:
Proof theory
Beskrivning
Fysisk beskrivning:376p.

Liknande verk