Recursion theory

Description:

This series reports new developments in symbolic logic, broadly interpreted - quickly, informally, and at a high level. The type of material considered for publication includes: research monographs, lectures on a new field or presentations of a new perspective on a classical field, seminar work-outs, reports of meetings, provided they are of exceptional interest and devoted to a single topic.

subjects: Recursion theory,  Logic, symbolic and mathematical,  Théorie de la récursivité,  Rekursionstheorie,  Récursivité, théorie de la