Proof theory: sequent calculi and related formalisms

other_versions_link
Detalles Bibliográficos
Autor principal: Bimbo, Katalin
Formato: Printed Book
Lenguaje:English
Publicado: Boca Raton CRC Press 2015
Materias:
Proof theory
Search Result 1
Proof theory sequent calculi and related formalisms
por Bimbo, Katalin
Publicado 2015
Printed Book
other_versions_search_link

Ejemplares similares