Elsevier Science

Continuation of the Notas de Matemàtica
- 1st Edition
- Volume 177
- Demeter Krupka
- English

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

Comparison and Oscillation Theory of Linear Differential Equations by C A Swanson
- 1st Edition
- Volume 48
- English

Glycoprotein and Proteoglycan Techniques
- 1st Edition
- Volume 16
- J.G. Beeley
- English

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

The Metamathematics of Algebraic Systems
- 1st Edition
- Volume 66
- Lev D. Beklemishev
- English

Intuitionism An Introduction
- 1st Edition
- Volume 41
- Lev D. Beklemishev
- English

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

The Foundations of Intuitionistic Mathematics
- 1st Edition
- Volume 39
- Lev D. Beklemishev
- English

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