A course on mathematical logic
This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in getting acquainted with logic and would like to learn Gödel's incompleteness theorems sho...
Saved in:
Main Authors: | |
---|---|
Corporate Authors: | |
Published: |
|
Literature type: | Electronic eBook |
Language: | English |
Edition: | 2nd ed. |
Series: |
Universitext,
|
Subjects: | |
Online Access: |
http://dx.doi.org/10.1007/978-1-4614-5746-6 |
Summary: |
This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in getting acquainted with logic and would like to learn Gödel's incompleteness theorems should find this book particularly useful. The treatment is thoroughly mathematical and prepares students to branch out in several areas of mathematics related to foundations and computability ... |
Carrier Form: | 1 online resource (xii, 198 p.) |
Bibliography: | Includes bibliographical references and index. |
ISBN: |
9781461457466 (electronic bk.) 1461457467 (electronic bk.) |
Index Number: | QA9 |
CLC: | O141 |