Results 1 -
1 of
1
Post’s problem for ordinal register machines: an explicit approach (2009)
by J Hamkins, R Miller
| Venue: | Annals of Pure and Applied Logic |
| Venue: | Annals of Pure and Applied Logic |