Three Aspects of Recursive Enumerability in Higher Types

Publisher Website

13 November 1980

book chapter
Published by Cambridge University Press (CUP)

p. 184-214
https://doi.org/10.1017/cbo9780511629181.008

Abstract

Recursion Theory, its Generalisations and Applications - November 1980

Keywords

LOGIC

This publication has 0 references indexed in Scilit: