Search
for Author
All Reviews
Sacks, Gerald
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
Date Reviewed
1
-
1
of
1
reviews
Higher recursion theory
Sacks G., Springer-Verlag New York, Inc., New York, NY, 1990. Type: Book (9780387193052)
Classical recursion theory (CRT) applies to essentially finite sets of natural numbers. CRT predicates can be defined using the first-order predicate calculus (PC) with quantification over the natural numbers, &ohgr;. CRT was defin...
...
Feb 1 1992
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy