Logicism Renewed
Paul C. Gilmore
9781568812762
onload="displayBookAvailableStatusC()"/>
Rating:
Rs. 32893.00
Delivery in 25 - 45 working days
Covid-19 Notice
Due to the current situation the Delivey will be delayed than the standard shipping period (21 working days)
Call our hotline 011 7 463 463
Additional Information
Add to wishlist
| Author(s) :- Paul C. Gilmore | Format :- Paperback |
| Publisher :- Taylor & Francis Inc | Pub. Date :- 2005-11-18 |
| ISBN-13 :- 9781568812762 | |
| Dimensions :- 229 x 152 | |
| Weight :- 340 |
Description
Revisits the original concept of logicism in the light of advances in mathematical logic. Using Intensional Type Theory (ITT), this book provides a unified foundation for mathematics and computer science, yielding a much simpler foundation for recursion theory and the semantics of computer programs than that provided by category theory.
