Logic: A Brief Course
By: by Daniele Mundici
Contributors: SpringerLink (Online service)
Series: Collana Unitext — La Matematica per il 3+2
Publisher: Springer Milan
Published: 2012
Place of publication: Milano
Language: eng
Format: [electronic resource] /
ISBN-13: 9788847023611
Subjects: Mathematical Logic and Formal Languages; Symbolic and mathematical Logic; Computer science; Mathematics; Mathematical Logic and Foundations; Semantics