Bulletin of Symbolic Logic Journal Issues 3 Research Articles in September 2019 Edition
November 30, 2019
November 30, 2019
STORRS, Connecticut, Nov. 30 -- Bulletin of Symbolic Logic, a journal that says it features mathematical logic, history and philosophy of logic and philosophy and methodology of mathematics from the Association for Symbolic Logic, published three research articles on the following topics in its September 2019 edition:
* ETA-Rules in Martin-LOF Type Theory
* Large Cardinals Beyond Choice
* Model Theory and Machine Learning
The September 2019 . . .
* ETA-Rules in Martin-LOF Type Theory
* Large Cardinals Beyond Choice
* Model Theory and Machine Learning
The September 2019 . . .