Elsevier Science

Introduction to Global Variational Geometry
- 1st Edition
- Volume 182
- Demeter Krupka
- English

The Problem of Inductive Logic
- 1st Edition
- Volume 51
- Lev D. Beklemishev
- English

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

Photogenerated Reagents in Biochemistry and Molecular Biology
- 1st Edition
- Volume 12
- H. Bayley
- English

The Axiom of Choice
- 1st Edition
- Volume 75
- Lev D. Beklemishev
- English

Quaternary Dating Methods
- 1st Edition
- Volume 7
- W.C. Mahaney
- English

Formal Systems and Recursive Functions
- 1st Edition
- Volume 40
- Lev D. Beklemishev
- English

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

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

Proceedings of the Second Scandinavian Logic Symposium
- 1st Edition
- Volume 63
- Lev D. Beklemishev
- English