Denis R. Hirschfeldt. Slicing the truth: On the computable and reverse mathematics of combinatorial principles. Lecture Note Series, Institute for Mathematical Sciences, National University of Singapore, vol. 28. World Scientific Publishing Co. Pte. Ltd., Singapore, 2015, xiv+214 pp.
Jeffry L. HirstPublished in: Bull. Symb. Log. (2015)
Keyphrases
- national university
- mathematical knowledge
- computer science
- scientific discovery
- signal processing
- machine intelligence
- life sciences
- scientific data management
- word problems
- science education
- data mining
- linked data
- artificial intelligence
- environmental sciences
- mathematical concepts
- special issue
- computational intelligence