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...
Main Author: | Srivastava, S. M. |
---|---|
Other Authors: | SpringerLink (Online service) |
Format: | eBook |
Language: | English |
Published: |
New York, NY :
Springer,
©2013.
New York, NY : [2013] |
Physical Description: |
1 online resource. |
Edition: | 2nd ed. |
Series: |
Universitext.
|
Subjects: |
CMU Electronic Access
Electronic Resource Click HereLocation | Call Number: | Status |
---|---|---|
CMU Electronic Access | Available |