Elsevier Science

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

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

Concepts from Tensor Analysis and Differential Geometry by Tracy Y Thomas
- 1st Edition
- Volume 1
- English

Elements of Mathematical Logic
- 1st Edition
- Volume 48
- Lev D. Beklemishev
- English

Computer Programming and Formal Systems
- 1st Edition
- Volume 35
- Lev D. Beklemishev
- English

Model Theory For Infinitary Logic
- 1st Edition
- Volume 62
- Lev D. Beklemishev
- English

Instrumental Liquid Chromatography
A Practical Manual on High-Performance Liquid Chromatographic Methods- 2nd Edition
- Volume 27
- N.A. Parris
- English

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

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

Pyrolysis Mass Spectrometry of Recent and Fossil Biomaterials
- 1st Edition
- Volume 3
- H.L.C. Meuzelaar + 2 more
- English