Mathematical Logic for Computer Science
Edition: 2nd edition
Series: Series in Computer Science
Publisher: World Scientific Pub Co Inc
Published: March 1999
Language: eng
Format: Hardcover
Number of pages: 244
ISBN-13: 9789810230913
Subjects: Mathematical logic; Mathematical theory of computation; Mathematics for scientists & engineers; Computer Logic; Mathematical And Symbolic Logic; Mathematics; Science/Mathematics; Logic
First sentence: The only prerequisite for reading this book is familiarity with the basic notions of sets, inductive definitions, and inductive proofs.