Kenneth Kunen, The Foundations of Mathematics, Studies in Logic, Mathematical Logic and Foundations, vol. 19. College Publications, London, 2009, vii + 251 pp.
Steffen LemppPublished in: Bull. Symb. Log. (2016)
Keyphrases
- computer algebra
- artificial intelligence
- logic programming
- modal logic
- image processing
- automated reasoning
- multi valued
- programming language
- classical logic
- sound and complete axiomatization
- computer algebra systems
- mathematical concepts
- asynchronous circuits
- epistemic logic
- digital circuits
- set theory
- computational properties
- logical framework
- machine intelligence
- empirical studies
- signal processing
- computational intelligence
- metadata