Mathematical Logic
The initial chapters start with problems from supporting fields, like set theory (ultrafilter...
EAN: 9783030790097
Philosophy of Mathematics
This book explores the foundations of mathematical thought. The aim of this book is to encourage...
EAN: 9781032121284
Philosophy of Mathematics
This book explores the foundations of mathematical thought. The aim of this book is to encourage...
EAN: 9781032022680
Optimization with LINGO-18
The book is a valuable compendium comprising several optimization applications-based case...
EAN: 9780367501228
Separation of Variables and Exact Solutions to Nonlinear PDEs
The book is devoted to describing and applying methods of generalized and functional separation...
EAN: 9780367486891
Logic Works
Logic Works is a critical and extensive introduction to logic. It asks questions about why...
EAN: 9780367460303
Logic Works
Logic Works is a critical and extensive introduction to logic. It asks questions about why...
EAN: 9780367460297
Mathematical Logic
This textbook introduces first-order logic and its role in the foundations of mathematics by...
EAN: 9783030738389
Paul Lorenzen -- Mathematician and Logician
EAN: 9783030658236
Recent Advances in Pure and Applied Mathematics
This volume comprises high-quality works in pure and applied mathematics from the mathematical...
EAN: 9783030413200
WITTGENSTEINIAN (adj.)
Wittgenstein replied, "Well, what would it have looked like if it had looked as though the Earth...
EAN: 9783030275716
Constructive Semantics
This edited book brings together research work in the field of constructive semantics with...
EAN: 9783030213152
Introduction to Optimization-Based Decision-Making
This book provides an elementary and self-contained introduction to the basic concepts involved...
EAN: 9781138712164
Cryptocurrencies
Provides a plain-language primer on how to confidently navigate the rapidly evolving world of...
EAN: 9781032092379
Federated AI for Real-World Business Scenarios
This book provides a holistic overview of all aspects of federated AI, which allows creation of...
EAN: 9780367861575
Evolutionary Optimization Algorithms
The text covers evolutionary optimizing algorithms with the help of MATLAB and Python programming...
EAN: 9780367750541
Numbers
Discover the ten things we all should know about mathematics in this fascinating collection of...
EAN: 9781841885636
Reflections on the Foundations of Mathematics
This edited work presents contemporary mathematical practice in the foundational mathematical...
EAN: 9783030156572
Proof Technology in Mathematics Research and Teaching
While computational methods are well known to have a huge importance in applied mathematics,...
EAN: 9783030284855
Algebraic Perspectives on Substructural Logics
This volume presents the state of the art in the algebraic investigation into substructural logics.
EAN: 9783030521622
Mathesis Universalis, Computability and Proof
EAN: 9783030204495
Modelling Nature: An Opinionated Introduction to Scientific Representation
This monograph offers a critical introduction to current theories of how scientific models...
EAN: 9783030451523
Legacy of Kurt Schutte
This book on proof theory centers around the legacy of Kurt SchĂĽtte and its current impact on...
EAN: 9783030494230
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
EAN: 9789811550539
