Review of "Alfred Tarski: Life and Logic by Anita Burdman Feferman and Solomon Feferman", Cambridge University Press 2004.
Pierre LescannePublished in: SIGACT News (2006)
Keyphrases
- multi valued
- logic programming
- case study
- asynchronous circuits
- modal logic
- automated reasoning
- predicate logic
- real time
- massachusetts institute of technology
- daily life
- current status
- computational properties
- sound and complete axiomatization
- san francisco
- dynamic logic
- abductive reasoning
- literature review
- neural network
- databases