Volume 33, Issue 5 | Archive for Mathematical Logic

Search all Archive for Mathematical Logic articles

Volume 33, Issue 5

October 1994

Filter by

Volume:

Sort by

Date published:

New to old Old to new

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