Account
Orders
Advanced search
This book provides a comprehensive introduction to modern global variational theory on fibred spaces. It is based on differentiation and integration theory of differential forms on smooth manifolds, and on the concepts of global analysis and geometry such as jet...
Logic in Algebraic Form
Provability, Computability and Reflection
In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems. A number of computing techniques are considered, such as methods of operator approximation with any given accuracy; operator interpolation...
Logic, Methodology and Philosophy of Science III
Set Theory
The Metamathematics of Algebraic Systems
A Transfinite Type Theory with Type Variables
Truth, Syntax and Modality
Sets, Models and Recursion Theory
Foundational Studies Selected Works
Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium onMathematical Logic...
Contributions to Mathematical Logic
Lincos
Large Infinitary Languages
SET THEORY
Les livres numériques peuvent être téléchargés depuis l'ebookstore Numilog ou directement depuis une tablette ou smartphone.
PDF : format reprenant la maquette originale du livre ; lecture recommandée sur ordinateur et tablette EPUB : format de texte repositionnable ; lecture sur tous supports (ordinateur, tablette, smartphone, liseuse)
DRM Adobe LCP
LCP DRM Adobe
Sign up to get our latest ebook recommendations and special offers