Logic in Action
Published on Sep 12, 20114400 Views
This course offers a new kind of introduction to logic, merging traditional basic themes on inference and expressive power of languages with modern developments: connections between logic, cognition,