Mathematical Logic for Computer Science
Series: Series in Computer Science
Publisher: World Scientific Publishing Company
Published: February 1988
Language: eng
Format: Hardcover
Number of pages: 248
ISBN-13: 9789971502515
Subjects: Computer Programming; General Theory of Computing; Machine Theory; Computer Logic; Mathematical And Symbolic Logic; Computers - General Information; Logic, Symbolic and mathematical; Computer science; Logic, Symbolic and mathematic; Mathematics; Computer Bks - General Information
First sentence: The only prerequisite for reading this book is familiarity with the basic notions of sets, inductive definitions, and inductive proofs.