Apple
Store
Mac
iPad
iPhone
Watch
Vision
AirPods
TV & Home
Entertainment
Accessories
Support
0
+
Apple Books
Preview
Local Nav Open Menu
Local Nav Close Menu
Top Books
Top Audiobooks
Valeria de Paiva
Books
Logic, Language, Information, and Computation
2015
Advances in Natural Deduction
2014