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...
Proceedings of the Second Scandinavian Logic Symposium
Set Theory
Model Theory For Infinitary Logic
Generalized Recursion Theory
Provability, Computability and Reflection
The Metamathematics of Algebraic Systems
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...
SET THEORY
Algebra of Proofs
Elements of Mathematical Logic
Logic Colloquium '78, Proceedings of the colloquium held in Mons
Foundational Studies
The Problem of Inductive Logic
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