Logic and Structure
Original price was: ₹7,596.00.₹6,078.00Current price is: ₹6,078.00.
Features a self-contained introduction into classical and intuitionistic logic using GentzenÂ’s natural deduction Includes the basics of recursion, proof and model theory (including a new section on ultraproducts) Gives a comprehensive account of GoedelÂ’s Incompleteness Theorem within the framework of natural deduction Includes supplementary material: sn.pub/extras
Features a self-contained introduction into classical and intuitionistic logic using GentzenÂ’s natural deduction Includes the basics of recursion, proof and model theory (including a new section on ultraproducts) Gives a comprehensive account of GoedelÂ’s Incompleteness Theorem within the framework of natural deduction Includes supplementary material: sn.pub/extras
Additional information
| Book Format | Hardcover, Softcover |
|---|
Book information
Related Products
A Course on Hopf Algebras
A Course on Hopf Algebras
A Complex Analysis Problem Book
A Complex Analysis Problem Book
A Course on Optimization and Best Approximation
A Course on Optimization and Best Approximation
A Circle-Line Study of Mathematical Analysis
Reviews
There are no reviews yet.