Books in Mathematics
Books in Mathematics
The Mathematics collection presents a range of foundational and advanced research content across applied and discrete mathematics, including fields such as Computational Mathematics; Differential Equations; Linear Algebra; Modelling & Simulation; Numerical Analysis; Probability & Statistics.

Systems and Simulation by Dimitris N Chorafas
- 1st Edition
- Volume 14
- English

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

Introduction to Global Variational Geometry
- 1st Edition
- Volume 8
- Demeter Krupka
- 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

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

Extensions of Linear-Quadratic Control, Optimization and Matrix Theory
- 1st Edition
- Volume 133
- English

Introduction to Global Variational Geometry
- 1st Edition
- Volume 182
- Demeter Krupka
- 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

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

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

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

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

Mathematical and Conceptual Foundations of 20th-Century Physics
- 1st Edition
- Volume 100
- G.G. Emch
- 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

Logic Colloquium '87
- 1st Edition
- Volume 129
- H.-D. Ebbinghaus + 4 more
- English

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

Recent Topics in Nonlinear PDE
- 1st Edition
- Volume 98
- M. Mimura + 1 more
- 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

Recent Topics in Nonlinear PDE IV
- 1st Edition
- Volume 160
- M. Mimura + 1 more
- English

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

Computational Techniques for Differential Equations
- 1st Edition
- Volume 83
- J. Noye
- English

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

New Generalized Functions and Multiplication of Distributions
- 1st Edition
- Volume 84
- J.F. Colombeau
- English

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

Minimal Surfaces of Codimension One
- 1st Edition
- Volume 91
- U. Massari + 1 more
- English

Problems in the Philosophy of Science
- 1st Edition
- Volume 49
- Lev D. Beklemishev
- English

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

The Axiom of Choice
- 1st Edition
- Volume 75
- Lev D. Beklemishev
- English

Augmented Lagrangian Methods
Applications to the Numerical Solution of Boundary-Value Problems- 1st Edition
- Volume 15
- M. Fortin + 1 more
- English

A Deductive Theory of Space and Time
- 1st Edition
- Volume 45
- Lev D. Beklemishev
- English

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

Logic in Algebraic Form
- 1st Edition
- Volume 72
- Lev D. Beklemishev
- English