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
| 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 |
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.