Jaakko Hintikka on Knowledge and Game-Theoretical Semantics
Semantic Representationalism, Logical Dialogues, Knowledge and Epistemic logic are among some of...
EAN: 9783319874142
Hyperuniverse Project and Maximality
This collection documents the work of the Hyperuniverse Project which is a new approach to...
EAN: 9783319874326
Formal Methods in Computer Science
This textbook gives students a comprehensive introduction to formal methods and their application...
EAN: 9781498775328
Space-time
This book, suitable for post-16 school pupils or undergraduates looking for a supplement to their...
EAN: 9781138056688
Advances in Mathematics Education Research on Proof and Proving
The book is organized around the following four themes, which reflect the breadth of issues...
EAN: 9783319890258
Philosophy of Science for Scientists
It argues against the common assumption that there is fundamental difference between natural and...
EAN: 9783319799704
Heyting Algebras
This book presents an English translation of a classic Russian text on duality theoryfor Heyting...
EAN: 9783030120955
Invitation to Model Theory
In this innovative and largely self-contained textbook, Jonathan Kirby brings model theory to an...
EAN: 9781316615553
Invitation to Model Theory
In this innovative and largely self-contained textbook, Jonathan Kirby brings model theory to an...
EAN: 9781107163881
Softwarepraktikum - Analysis und Lineare Algebra
EAN: 9783834803702
Justification Logic
Justification logic is a theory of reasoning that enables the tracking of evidence for statements...
EAN: 9781108424912
Quantum Computation and Logic
This book provides a general survey of the main concepts, questions and results that have been...
EAN: 9783030044701
Inside Blockchain, Bitcoin, and Cryptocurrencies
This book covers Blockchain from a scientific perspective as to what are the underlying...
EAN: 9781138618152
Hex
Written for a wide audience, this is the full story of Hex, inside and out, with all its twists...
EAN: 9780367144258
Hex
Written for a wide audience, this is the full story of Hex, inside and out, with all its twists...
EAN: 9780367144227
Ludwig Wittgenstein’s Philosophical Investigations
This book collects 13 papers that explore Wittgenstein's philosophy throughout the different...
EAN: 9783030001162
Philosophical and Mathematical Logic
This book was written to serve as an introduction to logic, with in each chapter – if applicable...
EAN: 9783030032531
Two Applications of Logic to Mathematics
Using set theory in the first part of his book, and proof theory in the second, Gaisi Takeuti...
EAN: 9780691610221
Abstract Recursion and Intrinsic Complexity
The author presents and applies a new framework for studying the complexity of algorithms. The...
EAN: 9781108415583