Related Books
Language: en
Pages: 214
Pages: 214
Type: BOOK - Published: 2021-06-24 - Publisher: Cambridge University Press
In mathematics, we know there are some concepts - objects, constructions, structures, proofs - that are more complex and difficult to describe than others. Comp
Language: en
Pages: 213
Pages: 213
Type: BOOK - Published: 2021-06-24 - Publisher: Cambridge University Press
Presents main results and techniques in computable structure theory together in a coherent framework for the first time in 20 years.
Language: en
Pages: 363
Pages: 363
Type: BOOK - Published: 2000-06-16 - Publisher: Elsevier
This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on complexity whic
Language: en
Pages: 788
Pages: 788
Type: BOOK - Published: 2016-11-30 - Publisher: Springer
This Festschrift is published in honor of Rodney G. Downey, eminent logician and computer scientist, surfer and Scottish country dancer, on the occasion of his
Language: en
Pages: 200
Pages: 200
Type: BOOK - Published: 2019-12-31 - Publisher: World Scientific Publishing Company
This volume presents some exciting new developments occurring on the interface between set theory and computability as well as their applications in algebra, an