A Beginner's Guide to Mathematical Logic.

Published in: Am. Math. Mon. (2018)

Keyphrases

computer algebra
modal logic
logic programming
mathematical theory
classical logic
artificial intelligence
knowledge base
computational intelligence
asynchronous circuits
machine learning
information systems
database systems
database
set theory
step by step instructions
epistemic logic
deontic logic