Home
Mathematical Logic and Theoretical Computer Science / Edition 1
Barnes and Noble
Mathematical Logic and Theoretical Computer Science / Edition 1
Current price: $350.00
![Mathematical Logic and Theoretical Computer Science / Edition 1](https://prodimage.images-bn.com/pimages/9780824777463_p0_v2_s600x595.jpg)
![Mathematical Logic and Theoretical Computer Science / Edition 1](https://prodimage.images-bn.com/pimages/9780824777463_p0_v2_s600x595.jpg)
Barnes and Noble
Mathematical Logic and Theoretical Computer Science / Edition 1
Current price: $350.00
Size: OS
Loading Inventory...
*Product information may vary - to confirm product availability, pricing, shipping and return information please contact Barnes and Noble
This book includes articles on denotational semanitcs, recursion theoretic aspects of computer science, model theory and algebra, automath and automated reasoning, stability theory, topoi and mathematics, and topoi and logic. It is intended for mathematical logicians and computer scientists.