This volume offers insights into the development of mathematical logic over the last century. Arising from a special session of the history of logic at an Ameri
Mathematical logic and automata theory are two scientific disciplines with a fundamentally close relationship. The authors of Logic and Automata take the occasi
Ranging from Alan Turing’s seminal 1936 paper to the latest work on Kolmogorov complexity and linear logic, this comprehensive new work clarifies the relation
To commemorate the 50th anniversary of his passing (in 2014), this special book features studies on Alexandre Koyré (1892–1964), one of the most influential