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
Assuntos:

STA

Detalhes do Exemplar STA
Área/Cota: 517.3 BIM
Cópia Informação em tempo real indisponível