Why teach an introductory course in Mathematical Logic in the Philosophy curriculum?

Carlos A. Oller Ana Couló

Published in: CoRR (2015)

Keyphrases

computer science curriculum
computer algebra
artificial intelligence
classical logic
computer science
logic programming
modal logic
multi valued
defeasible logic
mathematical theory
high school
cooperative learning
probability theory
logical framework
proof theory
information systems
neural network