Elsevier Science

Algebra of Proofs
- 1st Edition
- Volume 88
- Lev D. Beklemishev
- English

Provability, Computability and Reflection
- 1st Edition
- Volume 30
- Lev D. Beklemishev
- English

Set Theory
- 1st Edition
- Volume 76
- Lev D. Beklemishev
- English

Generalized Recursion Theory
- 1st Edition
- Volume 79
- Lev D. Beklemishev
- English

The Optimal Design of Chemical Reactors A Study in Dynamic Programming by Rutherford Aris
- 1st Edition
- Volume 3
- Rutherford Aris
- English

The Theory of Semisets
- 1st Edition
- Volume 70
- Lev D. Beklemishev
- English

Problems in the Philosophy of Science
- 1st Edition
- Volume 49
- Lev D. Beklemishev
- English

Provability, Computability and Reflection
- 1st Edition
- Volume 24
- Lev D. Beklemishev
- English

Foundational Studies
- 1st Edition
- Volume 93B
- Lev D. Beklemishev
- English

A Guidebook to Lipoprotein Techniques
- 1st Edition
- Volume 14
- G.L. Mills + 2 more
- English