Cargando...

Proof theory: sequent calculi and related formalisms

Detalles Bibliográficos
Autor Principal: Bimbo, Katalin
Formato: Printed Book
Idioma:English
Publicado: Boca Raton CRC Press 2015
Subjects:
Search Result 1
por Bimbo, Katalin
Publicado 2015
Printed Book