Mathematical Logic for Computer Science
By: by Mordechai Ben-Ari
Contributors: SpringerLink (Online service)
Edition: 3rd ed. 2012.
Publisher: Springer London
Published: 2012
Place of publication: London
Language: eng
Format: [electronic resource] /
ISBN-13: 9781447141297
Subjects: Mathematical Logic and Formal Languages; Symbolic and mathematical Logic; Computer science; Mathematical Logic and Foundations