An excellent introduction to logic (in all possible worlds), September 24, 2002, by Dr. Lee D. Carlson (Baltimore, Maryland USA) [Amazon.com] It is too bad this book is out of print, for the authors ...

This paper deals with two issues. First, it identifies structured propositions with logical procedures. Second, it considers various rigorous definitions of the granularity of procedures, hence also ...

The intersection of machine learning and mathematical logic — spanning computer science, pure mathematics, and statistics — has catalyzed recent advances in artificial intelligence and deep learning ...

This course is compulsory on the BSc in Financial Mathematics and Statistics, BSc in Mathematics and Economics and BSc in Mathematics with Economics. This course is available on the BSc in Actuarial ...