Companies Home Search Profile

Mathematical Logic and Computation

Mathematical Logic and Computation

Download pdf

Mathematical Logic and Computation

Mathematical Logic and Computation

Category

Math

Logic

Author

Jeremy Avigad

Publication

Cambridge University Press

0 View

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.

'

Download pdf

ISBN-10

1108478751

ISBN-13

978-1108478755

Publisher

Cambridge University Press

Price

79.99

File Type

PDF

Page No.

450

Jeremy Avigad

Discover more of the author’s books, see similar authors, read author blogs and more ...

Review

'Avigad provides a much needed introduction to mathematical logic that foregrounds the role of syntax and computability in our understanding of consistency and inconsistency. The result provides a jumping off point to any of the fields of modern logic, not only teaching the technical groundwork, but also providing a window into how to think like a logician.' Henry Towsner, University of Pennsylvania

Book Description

A thorough introduction to the fundamental methods and results in mathematical logic, and its foundational role in computer science.

Similar Books

Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)

Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)

Zhe Hou

Introduction to Computation: Haskell, Logic and Automata (Undergraduate Topics in Computer Science)

Introduction to Computation: Haskell, Logic and Automata (Undergraduate Topics in Computer Science)

Donald Sannella

Ewa Orłowska on Relational Methods in Logic and Computer Science (Outstanding Contributions to Logic Book 17)

Ewa Orłowska on Relational Methods in Logic and Computer Science (Outstanding Contributions to Logic Book 17)

Joanna Golińska-Pilarek

Ernst Schröder on Algebra and Logic (Synthese Library Book 465)

Ernst Schröder on Algebra and Logic (Synthese Library Book 465)

Stephen Pollard

Fuzzy Multi-criteria Decision-Making Using Neutrosophic Sets (Studies in Fuzziness and Soft Computing Book 369)

Fuzzy Multi-criteria Decision-Making Using Neutrosophic Sets (Studies in Fuzziness and Soft Computing Book 369)

Cengiz Kahraman

Pragmatic Logic (Synthesis Lectures on Digital Circuits and Systems, 13)

Pragmatic Logic (Synthesis Lectures on Digital Circuits and Systems, 13)

William J. Eccles

Sets, Logic and Maths for Computing (Undergraduate Topics in Computer Science)

Sets, Logic and Maths for Computing (Undergraduate Topics in Computer Science)

David Makinson

Handbook of Philosophical Logic: Volume 13 (Handbook of Philosophical Logic, 13)

Handbook of Philosophical Logic: Volume 13 (Handbook of Philosophical Logic, 13)

D.M. Gabbay

Mathematical Logic through Python

Mathematical Logic through Python

Noam Nisan

Mathematics and its Applications in New Computer Systems: MANCS-2021 (Lecture Notes in Networks and Systems, 424)

Mathematics and its Applications in New Computer Systems: MANCS-2021 (Lecture Notes in Networks and Systems, 424)

Andrei Tchernykh

Algorithms for a New World: When Big Data and Mathematical Models Meet

Algorithms for a New World: When Big Data and Mathematical Models Meet

Alfio Quarteroni

Computational Diffusion MRI: MICCAI Workshop, Shenzhen, China, October 2019 (Mathematics and Visualization)

Computational Diffusion MRI: MICCAI Workshop, Shenzhen, China, October 2019 (Mathematics and Visualization)

Elisenda Bonet-Carne

Inside Deep Learning: Math, Algorithms, Models

Inside Deep Learning: Math, Algorithms, Models

Edward Raff

Distributed Sensor Networks: Image and Sensor Signal Processing (Volume One) (Chapman & Hall/CRC Computer and Information Science Series)

Distributed Sensor Networks: Image and Sensor Signal Processing (Volume One) (Chapman & Hall/CRC Computer and Information Science Series)

S. Sitharama Iyengar

Software Development

Mathematical and Algorithmic Foundations of the Internet (Chapman & Hall/CRC Applied Algorithms and Data Structures series)

Mathematical and Algorithmic Foundations of the Internet (Chapman & Hall/CRC Applied Algorithms and Data Structures series)

Fabrizio Luccio

Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)

Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)

Anthony Seda

Mathematics & Physics for Programmers (GAME DEVELOPMENT SERIES)

Mathematics & Physics for Programmers (GAME DEVELOPMENT SERIES)

John P. Flynt

Software Development

Patently Mathematical: Picking Partners, Passwords, and Careers by the Numbers

Patently Mathematical: Picking Partners, Passwords, and Careers by the Numbers

Jeff Suzuki

Mathematical Pictures at a Data Science Exhibition

Mathematical Pictures at a Data Science Exhibition

Simon Foucart

Mathematical Programming for Power Systems Operation: From Theory to Applications in Python (IEEE Press)

Mathematical Programming for Power Systems Operation: From Theory to Applications in Python (IEEE Press)

Alejandro Garcés

Mathematical Modeling for Intelligent Systems: Theory, Methods, and Simulation

Mathematical Modeling for Intelligent Systems: Theory, Methods, and Simulation

Ravi Tomar

Other Authors' Books

Other Publishing Books

Advanced Solid State Physics

Advanced Solid State Physics

Philip Phillips

A Guide to MATLAB: For Beginners And Experienced Users

A Guide to MATLAB: For Beginners And Experienced Users

Brian R. Hunt

Environmental Violence: In the Earth System and the Human Niche

Environmental Violence: In the Earth System and the Human Niche

Richard A. Marcantonio

Environmental Science

Programming in Ada 2012 with a Preview of Ada 2022

Programming in Ada 2012 with a Preview of Ada 2022

John Barnes

Software Development

Combinatorics of Minuscule Representations (Cambridge Tracts in Mathematics Book 199)

Combinatorics of Minuscule Representations (Cambridge Tracts in Mathematics Book 199)

R. M. Green

Wireless-Powered Communication Networks: Architectures, Protocols, and Applications

Wireless-Powered Communication Networks: Architectures, Protocols, and Applications

Dusit Niyato

Neural Networks

A Primer on String Theory

A Primer on String Theory

Volker Schomerus

Numerical Solution of Differential Equations: Introduction to Finite Difference and Finite Element Methods

Numerical Solution of Differential Equations: Introduction to Finite Difference and Finite Element Methods

Zhilin Li

Wireless Discrete-Time Receivers

Wireless Discrete-Time Receivers

Robert Bogdan Staszewski

Network Engineering

Liquid Crystals and their Computer Simulations

Liquid Crystals and their Computer Simulations

Claudio Zannoni

AI in eHealth: Human Autonomy, Data Governance and Privacy in Healthcare (Cambridge Bioethics and Law)

AI in eHealth: Human Autonomy, Data Governance and Privacy in Healthcare (Cambridge Bioethics and Law)

Andrew Lyne

Artificial Intelligence

User Reviews

Log in first to post a comment

Rating

0

0

0

0

0

average 0

Total votes0