Books in Computer science
Books in Computer science
The Computing collection presents a range of foundational and applied content across computer and data science, including fields such as Artificial Intelligence; Computational Modelling; Computer Networks, Computer Organization & Architecture, Computer Vision & Pattern Recognition, Data Management; Embedded Systems & Computer Engineering; HCI/User Interface Design; Information Security; Machine Learning; Network Security; Software Engineering.

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

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

Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic
- 1st Edition
- Volume 99
- Lev D. Beklemishev
- English

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

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

Studies in Logic and the Foundations of Mathematics
- 1st Edition
- Volume 42
- Lev D. Beklemishev
- English

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

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

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

Sets and Classes on The Work by Paul Bernays
- 1st Edition
- Volume 84
- Lev D. Beklemishev
- English