Review: Alfred Tarski: Life and Logic by Anita Burdman Feferman; Solomon Feferman.

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

Keyphrases

logic programming
data sets
modal logic
classical logic
sound and complete axiomatization
machine learning
literature review
multi valued
defeasible logic
neural network
social networks
database systems
data structure
temporal logic
everyday life
logical framework