Mathematical Logic and Computation

A new book on mathematical logic by Jeremy Avigad provides a thorough introduction to the fundamental results and methods of the subject, emphasizing logic as the study of formal languages and systems and their proper use. Topics include proof theory, model theory, computability theory, and axiomatic foundations, with special emphasis on computer science aspects. Clear and engaging, with plentiful examples and exercises, it is an excellent introduction to the subject for graduate students and advanced undergraduates.

Format: Hardback
Length: 450 pages
Publication date: 24 November 2022
Publisher: Cambridge University Press

This new book on mathematical logic by Jeremy Avigad provides a comprehensive and in-depth introduction to the fundamental concepts and methodologies of the field, focusing on the syntactic perspective. It emphasizes logic as the study of formal languages and systems, emphasizing their proper utilization. The book covers a wide range of topics, including proof theory, model theory, the theory of computability, and axiomatic foundations. Special attention is given to aspects of mathematical logic that are essential to computer science, such as deductive systems, constructive logic, the simply typed lambda calculus, and type-theoretic foundations. Written in a clear and engaging style, with ample examples and exercises, the book is an excellent resource for graduate students and advanced undergraduates interested in logic in mathematics, computer science, and philosophy. It is also an invaluable reference for practicing logicians.

This new book on mathematical logic by Jeremy Avigad provides a comprehensive and in-depth introduction to the fundamental concepts and methodologies of the field, focusing on the syntactic perspective. It emphasizes logic as the study of formal languages and systems, emphasizing their proper utilization. The book covers a wide range of topics, including proof theory, model theory, the theory of computability, and axiomatic foundations. Special attention is given to aspects of mathematical logic that are essential to computer science, such as deductive systems, constructive logic, the simply typed lambda calculus, and type-theoretic foundations. Written in a clear and engaging style, with ample examples and exercises, the book is an excellent resource for graduate students and advanced undergraduates interested in logic in mathematics, computer science, and philosophy. It is also an invaluable reference for practicing logicians.

Weight: 1231g
ISBN-13: 9781108478755