Related Books
Language: en
Pages: 218
Pages: 218
Type: BOOK - Published: 2009-05-21 - Publisher: Springer Science & Business Media
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
Language: en
Pages: 195
Pages: 195
Type: BOOK - Published: 1991-01-01 - Publisher: Birkhauser
Language: en
Pages: 737
Pages: 737
Type: BOOK - Published: 2008 - Publisher: Amsterdam University Press
Mathematical logic and automata theory are two scientific disciplines with a fundamentally close relationship. The authors of Logic and Automata take the occasi
Language: en
Pages: 214
Pages: 214
Type: BOOK - Published: 2014-08-27 - Publisher: Springer
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
Language: en
Pages: 482
Pages: 482
Type: BOOK - Published: 2017-11-23 - Publisher: Springer
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