Logica: Metodo Breve
By: by Daniele Mundici
Contributors: SpringerLink (Online service)
Series: UNITEXT -- 1
Publisher: Springer Milan
Published: 2011
Place of publication: Milano
Language: ita
Format: [electronic resource] /
ISBN-13: 9788847018839; 9788847018846
Subjects: Mathematics; Symbolic and mathematical Logic; Computer science; Semantics