Matematisk logik

Driven by the question, 'What is the computational content of a (formal) proof?', this book studies fundamental interactions between proof theory and computability. It provides a …

"e;Is quantum logic really logic?"e; This book argues for a positive answer to this question once and for all. There are many quantum logics and their structures are …

Bayes's theorem is a tool for assessing how probable evidence makes some hypothesis. The papers in this volume consider the worth and applicability of the theorem. Richard …

Researchers and practitioners of cryptography and information security are constantly challenged to respond to new attacks and threats to information systems. Authentication Codes …

This new book on mathematical logic by Jeremy Avigad gives a thorough introduction to the fundamental results and methods of the subject from the syntactic point of view, …

"Integrates two classical approaches to computability. Offers detailed coverage of recent research at the interface of logic, computability theory, nd theoretical computer science. …

The purpose of this unique handbook is to examine the transformation of the philosophy of mathematics from its origins in the history of mathematical practice to the present.  It …

Logic forms the basis of mathematics, and is hence a fundamental part of any mathematics course. In particular, it is a major element in theoretical computer science and has …