Related Books
Language: en
Pages: 194
Pages: 194
Type: BOOK - Published: 2022-05-18 - Publisher: World Scientific
This volume features the latest scientific developments in the fields of computability theory and logical foundations of mathematics as well as applications. Th
Language: en
Pages: 299
Pages: 299
Type: BOOK - Published: 2004 - Publisher:
Language: en
Pages: 442
Pages: 442
Type: BOOK - Published: 2019-09-23 - Publisher: Walter de Gruyter GmbH & Co KG
The series is devoted to the publication of high-level monographs on all areas of mathematical logic and its applications. It is addressed to advanced students
Language: en
Pages: 232
Pages: 232
Type: BOOK - Published: 2012-08-28 - Publisher: Springer
The monograph is about a meta-theory of knowledge-production process and the logical pathway that connects the epistemic possibility to the epistemic reality. I
Language: en
Pages: 464
Pages: 464
Type: BOOK - Published: 2020-10-11 - Publisher: Springer Nature
This book constitutes the refereed proceedings of the 16th Annual Conference on Theory and Applications of Models of Computation, TAMC 2020, held in Changsha, C
