Volume 13, Issue 3-4 | Archive for Mathematical Logic

Search all Archive for Mathematical Logic articles

Volume 13, Issue 3-4

December 1970

Filter by

Volume:

Sort by

Date published:

New to old Old to new

7 articles in this issue

Hierarchies of number-theoretic functions II
M. H. Löb
S. S. Wainer
OriginalPaper Pages: 97 - 113
Hierarchien primitiv-rekursiver Funktionen im Transfiniten
M. E. Schröder
OriginalPaper Pages: 114 - 133
Kripke-Semantik der derivativen Prädikatelogik
Horst Luckhardt
OriginalPaper Pages: 134 - 135
A classification of the ordinal recursive functions
S. S. Wainer
OriginalPaper Pages: 136 - 153
Remarks on Limitultrapowers
Halldor Guđjónsson
OriginalPaper Pages: 154 - 157
Harmonische Analysis bei Aussagenkalkülen
Roman Liedl
OriginalPaper Pages: 158 - 167
Logische Kategorien
Petr Hájek
OriginalPaper Pages: 168 - 193