A Proposal for an Undergraduate Degree in the Uses of Logic.

Robert A. Kowalski

Published in: Artificial Intelligence in Higher Education (1989)

Keyphrases

modal logic
computer science
real world
logic programming
multi valued
predicate logic
classical logic
computational properties
engineering students
social networks
abductive reasoning
mechanical engineering
computer science students
sound and complete axiomatization