Mathematics

Linear and Quasilinear Elliptic Equations

Lie Theory and Special Functions

In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems.

The Theory of Splines and Their Applications

In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems.

Stochastic Stability and Control

In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems.

In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems.

In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems.

In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems.

In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems.

In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems.

In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems.

In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems.

Nonlinear Partial Differential Equations in Engineering

Methods of Matrix Algebra

In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems.

In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems.

In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems.

In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems.

Mathematical Theories of Traffic Flow

Differential-Difference Equations

In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems.

In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems.

Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic

Logic Colloquium '78, Proceedings of the colloquium held in Mons

Logic Colloquium '77

WORD PROBLEMS II

Generalized Recursion Theory II

Foundational Studies

Foundational Studies Selected Works

Combinatorial Set Theory

Non-Classical Logics, Model Theory, And Computability

Algebra of Proofs

Logic Colloquium 76, Proceedings of a conference

SET THEORY

Sets and Classes on The Work by Paul Bernays

Large Infinitary Languages

Proof Theory

Generalized Recursion Theory

An Algebraic Approach to Non-Classical Logics

Elementary Induction on Abstract Structures

Set Theory

The Axiom of Choice

Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971

Logic in Algebraic Form

Word Problems

The Theory of Semisets

Contributions to Non-Standard Analysis

Truth, Syntax and Modality