Because Knetbooks knows college students. Our rental program is designed to save you time and money. Whether you need a textbook for a semester, quarter or even a summer session, we have an option for you. Simply select a rental period, enter your information and your book will be on its way!
|2. The Mini-ML language|
|3. Formalization in a logical framework|
|4. The Elf programming language|
|5. Parametric and hypothetical judgments|
|7. Natural deduction|
|8. Logic programming|
|9. Advanced type systems|