Nonstandard Analysis for the Working Mathematician
it is often used as a ‘secret weapon’ by those who know the technique.This book illuminates the...
EAN: 9789401776240
Recent Developments in the Philosophy of Science: EPSA13 Helsinki
EAN: 9783319374239
Mathematics, Computer Science and Logic - A Never Ending Story
This book presents four mathematical essays which explore the foundations of mathematics and...
EAN: 9783319346823
Handbook of Spatial Logics
A spatial logic is a formal language interpreted over any class of structures featuring...
EAN: 9789402404708
Handbook on Ontologies
The Handbook on Ontologies provides a comprehensive overview of the current status and future...
EAN: 9783662499955
Ernst Zermelo - Collected Works/Gesammelte Werke II
However, his papers also include pioneering work in applied mathematics and mathematical physics....
EAN: 9783642432316
Non-commutative Multiple-Valued Logic Algebras
This monograph provides a self-contained introduction to non-commutative multiple-valued logic...
EAN: 9783319032993
Flawed Genius of William Playfair
This book shares the life story of William Playfair, the father of statistical graphics, who...
EAN: 9781487545031
Building and Solving Mathematical Programming Models
EAN: 9783030976255
Mathematical Logic and Computation
This book presents mathematical logic from the syntactic point of view, with an emphasis on...
EAN: 9781108478755
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 2, 3-Multi-graphs and 2-Multi-tournaments
The second of two volumes presenting the state of the art in the classification of homogeneous...
EAN: 9781009229487
Godel's Theorem
When Kurt Gödel published his celebrated theorem, showing that no axiomatization can determine...
EAN: 9780192847850
Methodes Level Set pour l'interaction fluide-structure
Les modles eulériens sont devenus dans les quinze dernires années des outils populaires pour...
EAN: 9783030700744
Arabic Logic from al-Farabi to Averroes
This monograph explores the logical systems of early logicians in the Arabic tradition from a...
EAN: 9783030274658
Methods of Applied Mathematics with a Software Overview
EAN: 9783319828053
Saved from the Cellar
Gerhard Gentzen is best known for his development of the proof systems of natural deduction and...
EAN: 9783319825021
Fixed-Point Farrago
This text provides an introduction to some of the best-known fixed-point theorems, with an...
EAN: 9783319802510
Cp-Theory Problem Book
The reader will also find introductions to the theory of uniform spaces, the theory of locally...
EAN: 9783319796161
Semigroups, Categories, and Partial Algebras
This book discusses the recent developments in semigroups theory, category theory and the...
EAN: 9789813348417
Nonclassical Logics and Their Applications
EAN: 9789811513411
Making Musical Time
This book is a comprehensive examination of the conception, perception, performance, and...
EAN: 9783030856281
Louis Couturat: The History of Modern Symbolic Logic and Other French Manuscripts
EAN: 9783030848279
