Mathematical Logic and Computation

This book presents mathematical logic from the syntactic point of view, with an emphasis on aspects that are fundamental to computer science. It is an excellent introduction for graduate students and advanced undergraduates interested in logic in mathematics, computer science, and philosophy, and an invaluable reference for professional logicians.

• | : Jeremy Avigad (Carnegie Mellon University, Pennsylvania)
• | Publisher: Cambridge University Press
• | Publication Date: Nov 24, 2022
• | Country of Publication: United Kingdom
• | Number of Pages: 450 pages
• | Language: Unknown
• | Binding: Hardback
• | ISBN-10: 1108478751
• | ISBN-13: 9781108478755