0
Your cart
![]() |
![]() |
Your cart is empty |
||
Showing 1 - 1 of 1 matches in All Departments
Mathematical logic is essentially related to computer science. This book describes the aspects of mathematical logic that are closely related to each other, including classical logic, constructive logic, and modal logic. This book is intended to attend to both the peculiarities of logical systems and the requirements of computer science.In this edition, the revisions essentially involve rewriting the proofs, increasing the explanations, and adopting new terms and notations.
|
![]() ![]() You may like...
The 33 1/3 B-sides - New Essays by 33…
Will Stockton, D. Gilson
Hardcover
R2,353
Discovery Miles 23 530
Contemporary Sport Management
Paul M. Pedersen, Lucie Thibault
Loose-leaf
R2,204
Discovery Miles 22 040
|