Transfinite recursion on admissible ordinals I,II (1964)

by S Kripke
Venue:Journal of Symbolic Logic
Add To MetaCart
Results 1 - 1 of 1

Discrete transfinite computation models

by P. D. Welch
"... ..."
Abstract - Add to MetaCart
Abstract not found