Caricamento...

Proof theory sequent calculi and related formalisms

Dettagli Bibliografici
Autore principale: Bimbo, Katalin
Natura: Printed Book
Lingua:English
Pubblicazione: Boca Raton CRC press 2015
Serie:Discrete mathematics and its applications
Soggetti:
Search Result 1
di Bimbo, Katalin
Pubblicazione 2015
Printed Book