HYPERMACHINES (2011)

First Author: Friedman Sy-David
Attributed to:  An analysis of Spector Classes associated with quasi-inductive definitions funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Journal Article/Review

Volume: 76

Parent Publication: JOURNAL OF SYMBOLIC LOGIC

Issue: 2

ISSN: 0022-4812