|
|
| 1. |
Über ein mit der Bar‐Induktion Verwandtes Schema |
| |
Mathematical Logic Quarterly,
Volume 25,
Issue 30,
1979,
Page 465-473
Helmut Vogel,
Preview
|
PDF (397KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19790253002
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1979
数据来源: WILEY
|
| 2. |
A Limit for Higher Recursion Theory |
| |
Mathematical Logic Quarterly,
Volume 25,
Issue 30,
1979,
Page 475-479
H. Luckhardt,
Preview
|
PDF (286KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19790253003
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1979
数据来源: WILEY
|
| 3. |
Masthead |
| |
Mathematical Logic Quarterly,
Volume 25,
Issue 30,
1979,
Page -
Preview
|
PDF (28KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19790253001
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1979
数据来源: WILEY
|
|
首页
