Alfred Tarski: Life and Logic by Anita Burdman Feferman; Solomon Feferman.
Carol WoodPublished in: Am. Math. Mon. (2006)
Keyphrases
- logic programming
- classical logic
- delay insensitive
- asynchronous circuits
- formal theory
- predicate logic
- everyday life
- multi valued
- case study
- data structure
- probability theory
- deontic logic
- digital circuits
- nonmonotonic logics
- set theory
- automated reasoning
- database
- evolutionary algorithm
- video sequences
- database systems
- search engine
- neural network
- real time