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.

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

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

The Theory of Semisets
- 1st Edition
- Volume 70
- Lev D. Beklemishev
- English

SET THEORY
- 1st Edition
- Volume 86
- Lev D. Beklemishev
- English

Constructive Order Types
- 1st Edition
- Volume 56
- Lev D. Beklemishev
- English

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

WORD PROBLEMS II
- 1st Edition
- Volume 95
- Lev D. Beklemishev
- English

Provability, Computability and Reflection
- 1st Edition
- Volume 18
- 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

Intuitionistic Logic Model Theory and Forcing
- 1st Edition
- Volume 54
- Lev D. Beklemishev
- English

Sets, Models and Recursion Theory
- 1st Edition
- Volume 46
- Lev D. Beklemishev
- English

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

DNA Sequencing
- 1st Edition
- Volume 10
- J. Hindley
- English

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

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

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

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

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

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

Logic Colloquium '78, Proceedings of the colloquium held in Mons
- 1st Edition
- Volume 97
- Lev D. Beklemishev
- English

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

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

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

The Collected Papers of Gerhard Gentzen
- 1st Edition
- Volume 55
- Lev D. Beklemishev
- English

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

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

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

LOGIC COLLOQUIUM '69
- 1st Edition
- Volume 61
- Lev D. Beklemishev
- English

Contributions to Mathematical Logic
- 1st Edition
- Volume 50
- Lev D. Beklemishev
- English

Generalized Recursion Theory II
- 1st Edition
- Volume 94
- Lev D. Beklemishev
- English

The Problem of Inductive Logic
- 1st Edition
- Volume 51
- Lev D. Beklemishev
- English

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

Quantitative Psychology
Some Chosen Problems and New Ideas- 1st Edition
- Volume 15
- M. Nowakowska
- English

Mathematical Logic and Foundations of Set Theory, Proceedings of an International Colloquium Held Under the Auspices of The Israel Academy of Sciences and Humanities
- 1st Edition
- Volume 59
- Lev D. Beklemishev
- English

Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
- 1st Edition
- Volume 74
- Lev D. Beklemishev
- English

Logic, Methodology and Philosophy of Science III
- 1st Edition
- Volume 52
- Lev D. Beklemishev
- English

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

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

Foundational Studies
- 1st Edition
- Volume 93B
- Lev D. Beklemishev
- English

Formal Systems and Recursive Functions
- 1st Edition
- Volume 40
- Lev D. Beklemishev
- English

Large Infinitary Languages
- 1st Edition
- Volume 83
- Lev D. Beklemishev
- English

Non-Classical Logics, Model Theory, And Computability
- 1st Edition
- Volume 89
- Lev D. Beklemishev
- English

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

Aspects of Inductive Logic
- 1st Edition
- Volume 43
- Lev D. Beklemishev
- English

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

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

Sentences Undecidable in Formalized Arithmetic
- 1st Edition
- Volume 10
- Lev D. Beklemishev
- English

Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968
- 1st Edition
- Volume 60
- Lev D. Beklemishev
- English

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

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