The prospects for mathematical logic in the twenty-first century
Samuel R. BussAlexander S. KechrisAnand PillayRichard A. ShorePublished in: CoRR (2002)
Keyphrases
- computer algebra
- information and communication technologies
- mathematical theory
- classical logic
- logic programming
- automated reasoning
- predicate logic
- database
- database systems
- modal logic
- cost effective
- multi valued
- logical framework
- evolutionary algorithm
- computational properties
- nonmonotonic logics
- image sequences
- asynchronous circuits
- information retrieval