Volume 33, Issue 5 | Archive for Mathematical Logic

Search all Archive for Mathematical Logic articles

Volume 33, Issue 5

October 1994

2 articles in this issue

Iterated relative recursive enumerability
Peter A. Cholak
Peter G. Hinman
OriginalPaper Pages: 321 - 346
The strength of some Martin-Löf type theories
Edward Griffor
Michael Rathjen
OriginalPaper Pages: 347 - 385