Proving ground : an account of the radiobiological studies in the Pacific 1946-1961 /

First-order programming theories /

Hypervirial theorems /

Ergodic theorems /

Map color theorem /

Fixed point theorems.

What we believe but cannot prove : today's leading thinkers on science in the age of certainty /

Limit theorems in probability and statistics. Vol. 1 /

Limit theorems in probability and statistics. Vol. 2 /

Gleason´s theorem and its applications. /

The ergodic theorems of demography : a simple proof /

Fermat's last theorem : a genetic introduction to algebraic number theory /

Thermodynamics of finite systems and the kinetics of first-order phase transitions /

Limit theorems under testing hypotheses. /

Formulas and theorems for the functions of mathematical physics /

Executive orders /

Last orders /

The kill order /

World order /

Fractional-order systems and fractional-order controllers. /

First-order logic and automated theorem proving /