- Author
- Srivastava, Shashi Mohan
- Publisher
- Springer
- Language
- English
- Year
- 2008
- Page
- 140
- ISBN
- 978-0-387-76277-7,0387762779,978-0-387-76275-3
- File Type
- File Size
- 908.5 KiB
This book provides a distinctive, well-motivated introduction to mathematical logic. It starts with the definition of first order languages, proceeds through propositional logic, completeness theorems, and finally the two Incompleteness Theorems of Godel.
show more...How to Download?!!!
Just click on START button on Telegram Bot