Abstract: A sound and complete Gentzen-typed deduction system is given for a Boolean algebra logic, where the logical connective - is missed and an assignment is a function from the propositional ...

Bodmer, W F, and Felsenstein, J. 1967. Linkage and selection: theoretical analysis of the deterministic two locus random mating model. Genetics, 57, 237–265.

Abstract: The behavior of the solution of the Riccati equation for the linear regulator problem with a parameter whose perturbation changes the order of the system is analyzed. Sufficient conditions ...

This book attempts to bridge the gap between the principles of pure mathematics and the applications in physical science. After the Möbius inversion formula had been considered as purely academic, or ...

MAT2100 covers the theoretical basis for one variable mathematical analysis and gives a comprehensive introduction to the central concepts and proof techniques. The course extends the theory of ...