Towards an Arithmetical Logic
This book offers an original contribution to the foundations of logic and mathematics and focuses...
EAN: 9783319220864
Ada's Algorithm
How Ada Lovelace, Lord Byron's daughter, became the world's first computer programmer in 1842 and...
EAN: 9781783340712
Computational Complexity of Solving Equation Systems
Since unary algebras admit only type 1, this book focuses on these algebras to tackle the main...
EAN: 9783319217499
From Computing to Computational Thinking
EAN: 9781482217650
Magic Garden Of George B And Other Logic Puzzles, The
The author presents a bombshell puzzle so startling that it seems incredible that there could be...
EAN: 9789814678551
Magic Garden Of George B And Other Logic Puzzles, The
The author presents a bombshell puzzle so startling that it seems incredible that there could be...
EAN: 9789814675055
Automated Deduction in Geometry
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International...
EAN: 9783319213613
Problem-solving Strategies In Mathematics: From Common Approaches To Exemplary Strategies
This book introduces ten problem-solving strategies by first presenting the strategy and then...
EAN: 9789814651622
Truth And Assertibility
The book is a research monograph on the notions of truth and assertibility as they relate to the...
EAN: 9789814619950
Guide to NIP Theories
This book, the first on the rapidly expanding topic of NIP theories, gives an accessible...
EAN: 9781107057753
Parametrisierte uniforme Berechnungskomplexitat in Geometrie und Numerik
Carsten Rösnick legt seiner Arbeit die Frage nach der algorithmischen Komplexität der...
EAN: 9783658096588
Theorie und Design von FRAP-Experimenten auf komplexen Geometrien
DarĂĽber hinaus stellt er Simulationen von FRAP-Experimenten auf der Geometrie fusionierter,...
EAN: 9783658089467
Finite-Elemente-Methode
Dieses moderne Lehrbuch ermöglicht aufgrund der ausfĂĽhrlichen Darstellung, der...
EAN: 9783642539367
Rewriting and Typed Lambda Calculi
This book constitutes the refereed proceedings of the Joint 25th International Conference on...
EAN: 9783319089171
Advances in Natural Deduction
Advances in Natural Deduction
EAN: 9789400775473
Ramsey Theory for Discrete Structures
Ramsey Theory for Discrete Structures
EAN: 9783319013145
Where is the Godel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals
This book explains the first published consistency proof of PA. A notable aspect of the proof is...
EAN: 9783319021706
Felix Hausdorff - Gesammelte Werke Band VII
Band VII der Hausdorff Edition widmet sich dem philosophischen Werk F. Gedanken aus der...
EAN: 9783642639258
Short Introduction to Intuitionistic Logic
Intuitionistic logic is presented here as part of familiar classical logic which allows...
EAN: 9781475773194
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by I. It covers major...
EAN: 9781461349570
