We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
Price loading...
Mathematical Logic and Computation
Price data last checked 102 day(s) ago - refreshing...
Price History & Forecast
No Price Data Available
Price history will appear here once data is collected from Amazon.
Price Distribution
No price data available for histogram
Description
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.
Product Specifications
- Format
- hardcover
- ASIN
- 1108478751
- Domain
- Amazon UK
- Release Date
- 24 November 2022
- Listed Since
- 09 March 2022
Barcode
No barcode data available
Similar Products You Might Like
93% match
Modern Mathematical Logic (Cambridge Mathematical Textbooks)
Cambridge University Press
£45.08
15 Feb 2026
93% match
The Mathematics of Logic: A Guide to Completeness Theorems and their Applications
Cambridge University Press
£94.38
12 Jan 2026
93% match
Mathematical Logic: An Introduction (De Gruyter Textbook)
£61.17
11 Jan 2026
92% match
Type Theory and Formal Proof: An Introduction
Cambridge University Press
£65.49
17 Mar 2026
92% match
Mathematical Logic
Taylor & Francis
£46.30
12 Apr 2026
92% match
Logic for Mathematicians
Cambridge University Press
£37.68
12 Dec 2025
92% match
Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction (Springer Monographs in Mathematics)
Springer
£123.71
12 Jan 2026
92% match
Logic and Language Models for Computer Science: Third Edition
Scientific Publishing
£56.56
13 Apr 2026
92% match
Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)
Wiley
£133.99
10 Apr 2026
92% match
Computational Logic: 165 (NATO ASI Subseries F:, 165)
Springer
£111.23
04 Feb 2026
92% match
Introduction to Logic and Logical Discourse
£91.52
07 Jan 2026
92% match
Introduction to Logic and Logical Discourse
Springer
£89.88
25 Feb 2026
92% match
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
Springer
£42.30
21 Feb 2026
92% match
An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)
£53.96
11 Jan 2026
92% match
Mathematical Logic through Python
Cambridge University Press
£55.29
08 Mar 2026
92% match
Introduction to Mathematical Logic: Extended Edition
World Scientific Publishing Company
£71.00
26 Feb 2026
92% match
A Mathematical Introduction To Logic
£77.99
12 Dec 2025
92% match
Mathematical Logic for Computer Science
Springer
£44.25
15 Feb 2026
92% match
An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)
Springer
£41.89
17 Feb 2026
92% match
Logic for Applications (Texts in Computer Science)
Springer
£108.11
11 Jan 2026
92% match
MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)
Oxford University Press
£68.02
17 Mar 2026
92% match
Fundamentals of Mathematical Logic
CRC Press
£110.00
12 Jan 2026
92% match
Mathematical Logic with Special Reference to the Natural Numbers
Cambridge University Press
£44.71
08 Mar 2026
92% match
Linear Logic in Computer Science: 316 (London Mathematical Society Lecture Note Series, Series Number 316)
Cambridge University Press
£85.48
18 Mar 2026