Carregando...

Proof theory sequent calculi and related formalisms

Detalhes bibliográficos
Autor principal: Bimbo, Katalin
Formato: Printed Book
Idioma:English
Publicado em: Boca Raton CRC press 2015
coleção:Discrete mathematics and its applications
Assuntos:
Search Result 1
por Bimbo, Katalin
Publicado em 2015
Printed Book