Proof theory: sequent calculi and related formalisms

other_versions_link
Detalhes bibliográficos
Autor principal: Bimbo, Katalin
Formato: Printed Book
Idioma:English
Publicado em: Boca Raton CRC Press 2015
Assuntos:
Proof theory
Descrição
Descrição Física:376p.

Registos relacionados