Algebraic and Proof-theoretic Aspects of Non-classical Logics Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday /

Guardado en:
Autor Principal: Aguzzoli, Stefano.
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Ciabattoni, Agata., Gerla, Brunella., Manara, Corrado., Marra, Vincenzo.
Formato: Electrónico
Idioma:English
Publicado: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
Series:Lecture Notes in Computer Science, 4460
Materias:
Acceso en línea:SpringerLink, via BECYT
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!