Elsevier Science

Constructive Order Types
- 1st Edition
- Volume 56
- Lev D. Beklemishev
- English

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

Sentences Undecidable in Formalized Arithmetic
- 1st Edition
- Volume 10
- Lev D. Beklemishev
- English

Microcolumn High-Performance Liquid Chromatography
- 1st Edition
- Volume 28
- P. Kucera
- English

Eolian Sediments and Processes
- 1st Edition
- Volume 38
- M.E. Brookfield + 1 more
- English

Aspects of Inductive Logic
- 1st Edition
- Volume 43
- Lev D. Beklemishev
- English

Introduction to the Theory of Finite Automata
- 1st Edition
- Volume 38
- Lev D. Beklemishev
- English

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

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

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