Sold Out
Book Categories |
Preface | ||
Introduction | ||
Pt. 1 | Logic without equality | 1 |
1 | Propositional logic | 3 |
2 | First-order logic | 47 |
3 | Principles of logic programming | 87 |
4 | Prolog | 115 |
Pt. 2 | Logic with equality | 159 |
5 | Logic with equality | 161 |
6 | Many-sorted abstract types | 187 |
7 | The included middle | 211 |
8 | Miranda | 243 |
9 | Intuitionistic logic and types | 295 |
10 | Languages and databases | 329 |
Bibliography | 357 | |
Index | 359 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionLogic And Declarative Language
X
This Item is in Your InventoryLogic And Declarative Language
X
You must be logged in to review the productsX
X
X
Add Logic And Declarative Language, Logic has acquired a reputation for difficulty, perhaps because many of the approaches adopted have been more suitable for mathematicians than computer scientists. This book shows that the subject is not inherently difficult and that the connections betwe, Logic And Declarative Language to the inventory that you are selling on WonderClubX
X
Add Logic And Declarative Language, Logic has acquired a reputation for difficulty, perhaps because many of the approaches adopted have been more suitable for mathematicians than computer scientists. This book shows that the subject is not inherently difficult and that the connections betwe, Logic And Declarative Language to your collection on WonderClub |