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.

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

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


An Algebraic Approach to Non-Classical Logics
- 1st Edition
- Volume 78
- Lev D. Beklemishev
- English

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

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

Proceedings of the Second Scandinavian Logic Symposium
- 1st Edition
- Volume 63
- Lev D. Beklemishev
- English

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

Contributions to Non-Standard Analysis
- 1st Edition
- Volume 69
- Lev D. Beklemishev
- English

A Transfinite Type Theory with Type Variables
- 1st Edition
- Volume 37
- Lev D. Beklemishev
- English