Elsevier Science

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

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

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

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

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

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

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

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

Languages with Expressions of Infinite Length
- 1st Edition
- Volume 36
- Lev D. Beklemishev
- English

Proof Theory
- 1st Edition
- Volume 81
- Lev D. Beklemishev
- English