Name: Mathematical Logic and Computation
Price: 98.18 EUR
Availability: InStock
Author: Avigad, Jeremy
ISBN: 9781108478755

Select your country

Americas

Europe

Rest of the world

portada Mathematical Logic and Computation

Type

Physical Book

Author

Jeremy Avigad

Publisher

Cambridge University Press

Year

2022

Language

English

Pages

526

Format

Hardcover

Dimensions

25.4 x 17.8 x 2.9 cm

Weight

1.12 kg.

ISBN13

9781108478755

Synopsis "Mathematical Logic and Computation "

This new book on mathematical logic by Jeremy Avigad gives a thorough introduction to the fundamental results and methods of the subject from the syntactic point of view, emphasizing logic as the study of formal languages and systems and their proper use. Topics include proof theory, model theory, the theory of computability, and axiomatic foundations, with special emphasis given to aspects of mathematical logic that are fundamental to computer science, including deductive systems, constructive logic, the simply typed lambda calculus, and type-theoretic foundations. Clear and engaging, with plentiful examples and exercises, it is an excellent introduction to the subject for graduate students and advanced undergraduates who are interested in logic in mathematics, computer science, and philosophy, and an invaluable reference for any practicing logician's bookshelf.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

Mathematical Logic and Computation - Avigad, Jeremy

Synopsis "Mathematical Logic and Computation "

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery