Recursion Theory: Computational Aspects of Definability (De Gruyter Series in Logic and Its Applications, Band 8)

Definability

von: Chi Tat Chong · Liang Yu

Gebunden

Details (Deutschland)

ISBN: 978-3-11-027555-1

ISBN-10: 3-11-027555-4

De Gruyter · 2015