Account
Orders
Advanced search
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...
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...
Aspects of Inductive Logic
Studies in Logic and the Foundations of Mathematics
Foundational Studies Selected Works
Sets and Classes on The Work by Paul Bernays
SET THEORY
Lincos
Proof Theory
Truth, Syntax and Modality
Problems in the Philosophy of Science
The Collected Papers of Gerhard Gentzen
Studies in Logic publishes monographs and occasionally edited volumes in the area of mathematical logic and its applications.
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