An accessible and comprehensive introduction to logic and declarative languages. This book is intended to support courses in functional language, logic language or logic itself.
Read More
An accessible and comprehensive introduction to logic and declarative languages. This book is intended to support courses in functional language, logic language or logic itself.
Read Less