Coalgebraic Methods in Computer Science
This book constitutes the post-conference proceedings of the 17th International Workshop on...
EAN: 9783031664373
Invitation to Mathematical Logic
The material should be accessible to first year graduate students or advanced undergraduates in...
EAN: 9783031553707
Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction
The variety of distinct approaches exemplified by the single chapters allows for a dialogue...
EAN: 9783031514081
Foundations of Software Science and Computation Structures
EAN: 9783031908965
Logic and Its Applications
This book constitutes the refereed proceedings of the 11th Indian Conference on Logic and Its...
EAN: 9783031896095
Advances in Brain Inspired Cognitive Systems
The two-volume set LNAI 15497 and LNAI 15498 constitutes the refereed proceedings of the 14th...
EAN: 9789819628841
Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness
This book constitutes the proceedings of the Third International Conference on Human and...
EAN: 9783031845949
Advances in Brain Inspired Cognitive Systems
The two-volume set LNAI 15497 and LNAI 15498 constitutes the refereed proceedings of the 14th...
EAN: 9789819628810
Institution-independent Model Theory
A model theory that is independent of any concrete logical system allows a general handling of a...
EAN: 9783031688539
Arithmetic and Algebraic Geometry
This book is a tribute to the memory of Yuri Ivanovich Manin, who passed away on January 7, 2023....
EAN: 9783031741333
Mathematics Before and After Pythagoras
EAN: 9783031742231
R-Calculus, VI: Finite Injury Priority Method
EAN: 9789819758296
Philosophical Logic: Current Trends in Asia
This volume brings together a group of logic-minded philosophers and philosophically oriented...
EAN: 9789811348631
Formal Methods Teaching
This book constitutes the proceedings of the 6th International Workshop on Formal Methods...
EAN: 9783031713781
Introduction to Incompleteness
Care is taken to emphasize the different layers of the mathematical argument – the layer within...
EAN: 9783031642166
Godel's Incompleteness Theorems
For good reasons, however, hardly any work deals with Gödel's article in its original form: His...
EAN: 9783662695494
Proof Assistants and Their Applications in Mathematics and Computer Science
Proof assistants are computer programs that help users formally describe mathematical statements...
EAN: 9783031851896
I Wish They'd Taught Me That
I Wish They'd Taught Me That: Overlooked and Omitted Topics in Mathematics concerns the topics...
EAN: 9781032870366
I Wish They'd Taught Me That
I Wish They'd Taught Me That: Overlooked and Omitted Topics in Mathematics concerns the topics...
EAN: 9781032870342
Limits of Mathematics
The covered topics include the history of mathematical logic, formal systems, axiomatic number...
EAN: 9783662709986
Definition of Logical Validity
What does it mean for a conclusion to follow logically from other sentences? Logical consequence...
EAN: 9780198945543
What Is Mathematical Logic?
Mathematical logic has grown into an indispensable tool in computer science as well as other...
EAN: 9780198930860
More Monthly Problem Gems
A sequel to Monthly Problem Gems (CRC Press, 2021), this book covers a broader range of math...
EAN: 9781041003212
