Nathan Ford, ein ehemaligen Versicherungsdetektiv, erspart seinem Arbeitgeber Millionenzahlungen....

Alan Turing was an inspirational figure who is now recognised as a genius of modern mathematics. ...

Alan Turing was an inspirational figure who is now recognised as a genius of modern mathematics. ...

The series is devoted to the publication of high-level monographs on all areas of mathematical...

Computability theory is a branch of mathematical logic and computer science that has become incre...

This is a book about computation, something which is ubiquitous in the modern world. More precise...

The Asian Logic Conference is one of the largest meetings, and this volume represents work presen...

The book contains 8 detailed expositions of the lectures given at the Kaikoura 2000 Workshop o...

This is a book about computation, something which is ubiquitous in the modern world. More prec...

'This book presents new results in computability theory, a branch of mathematical logic and compu...

A collection of essays celebrating the influence of Alan Turing's work in logic, computer science...

'This book presents new results in computability theory, a branch of mathematical logic and compu...