Mathematical logic for computer science

• Main Author: Mordechai, Ben-Ari
• Format: Book
• Language: English
• Published: London Springer 2001
• Edition: 2nd ed.
• Subjects: Λογική, Συμβολική και μαθηματική; Επιστήμη των υπολογιστών > Μαθηματικά
• Physical Description: xiv, 304 p. 24 cm.
• Bibliography: Includes index and bibliography.
• ISBN: 1852333197