David Hilbert's lectures on the foundations of arithmetic and logic 1917-1933. Edited by William Ewald and Wilfried Sieg. Springer, Berlin, Heidelberg and New York, 2013, xxv + 1062 pp.
Jan von PlatoPublished in: Bull. Symb. Log. (2014)
Keyphrases
- lecture notes
- micron cmos
- computer science
- multi valued
- artificial intelligence
- modal logic
- logic programming
- distance learning
- e learning
- classical logic
- learning curve
- active learning
- automated reasoning
- international symposium
- floating point
- logical framework
- higher education
- defeasible logic
- predicate logic
- carnegie mellon university
- quantifier free
- john mccarthy