Llwytho...

Proof theory sequent calculi and related formalisms

Manylion Llyfryddiaeth
Prif Awdur: Bimbo, Katalin
Fformat: Printed Book
Iaith:English
Cyhoeddwyd: Boca Raton CRC press 2015
Cyfres:Discrete mathematics and its applications
Pynciau:
Search Result 1
gan Bimbo, Katalin
Cyhoeddwyd 2015
Printed Book