Matematisk logik

The contributions to this volume are from participants of the international conference Kreisel's Interests -- On the Foundations of Logic and Mathematics, which took place from 13 …

1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of number. Now available in paperback, this book is both a comprehensive reference …

This book offers a comprehensive exploration of cutting-edge research and developments in the field of cybersecurity. It presents a curated collection of chapters that reflect the …

This volume surveys the development of combinatorics since 1930 by presenting in chronological order the fundamental results of the subject proved in over five decades of original …

In real management situations, uncertainty is inherently present in decision making. As such, it is increasingly imperative to research and develop new theories and methods of …

This book presents an English translation of a classic Russian text on duality theoryfor Heyting algebras. Written by Georgian mathematician Leo Esakia, the text provedpopular …

As we stand at the precipice of the twenty first century the ability to capture and transmit copious amounts of information is clearly a defining feature of the human race. In …

Many systems of quantified modal logic cannot be characterised by Kripke's well-known possible worlds semantic analysis. This book shows how they can be characterised by a more …

Constructing concise and correct proofs is one of the most challenging aspects of learning to work with advanced mathematics. Meeting this challenge is a defining moment for those …

Mathematical Problems from Applied Logic I presents chapters from selected, world renowned, logicians. Important topics of logic are discussed from the point of view of their …