Chapter:
Second order logic and first order theories of reducibility orderings*
Book:
Studies in Logic and the Foundations of Mathematics
Author:
Anil Nerode,Richard A. Shore
Copyright © 1980 North-Holland Publishing Company. Published by Elsevier B.V. All rights reserved.