Synthese spans the topics of Epistemology, Methodology and Philosophy of Science. Coverage includes the theory of knowledge; general methodological problems of science, of induction and probability, ...

Mathematical logic, set theory, lattices and universal algebra form an interconnected framework that underpins much of modern mathematics. At its heart, mathematical logic provides rigorous formal ...

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 ...

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, BSc in Mathematics with Data Science and BSc in Mathematics with Economics. This course ...

This paper is an introduction to the mathematical theory of arbitrage. Examples of the graph-theoretic mathematics of arbitrage are given in economics, electrical circuit theory (Kirchhoff's voltage ...

Marcos Mazari-Armida, a postdoctoral researcher at CU Boulder, wins 2021 Sacks Prize from the Association of Symbolic Logic A University of Colorado Boulder mathematician has won the Sacks Prize, ...

THE want of a text-book especially designed for the use of candidates for examinations in which a knowledge of the more elementary portions of the mathematical theory of electricity and magnetism is ...