Account
Orders
Advanced search
Constructible Sets with Applications
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...
The Theory of Semisets
The book consists of a selection of the forms of the axiom of choice which appeared in the literature together with additional forms which were obtained in the process of writing the book. Forms which were either used often in practice, unusual, relatively unknown, or...
Provability, Computability and Reflection
Generalized Recursion Theory
Word Problems
Non-Classical Logics, Model Theory, And Computability
A Deductive Theory of Space and Time
SET THEORY
Foundational Studies
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...
Proof Theory
Sets and Classes on The Work by Paul Bernays
The Foundations of Intuitionistic Mathematics
Logic Colloquium '78, Proceedings of the colloquium held in Mons
Introduction to the Theory of Finite Automata
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