This is a short, distinctive, modern, and motivated introduction to mathematical logic for senior undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in knowing what logic is concerned with and who would like to learn G?delβs incompl
A Course on Mathematical Logic
β Scribed by Shashi Mohan Srivastava
- Publisher
- Springer
- Year
- 2008
- Tongue
- English
- Leaves
- 153
- Series
- Universitext
- Edition
- 1
- Category
- Library
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
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 f
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 f
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 f
This textbook is written for advanced undegraduates or first year graduate students of mathematics and computer science. It is also intended for the working mathematician who wants to gain an appreciation of Mathematical Logic. There are no prerequisites for this book; however, some mathematical mat