1. |
A STRUCTURAL CRITERION FOR RECURSIVE ENUMERATION WITHOUT REPETITION |
|
Mathematical Logic Quarterly,
Volume 10,
Issue 8,
1964,
Page 105-114
Marian Boykan Pour‐El,
William A. Howard,
Preview
|
PDF (572KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19640100802
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1964
数据来源: WILEY
|
2. |
EINE FORMULIERUNG DES TARSKISCHEN UNERREICHBARKEITSAXIOMS MITTELS ALLMENGEN |
|
Mathematical Logic Quarterly,
Volume 10,
Issue 8,
1964,
Page 115-117
Dieter Klaua,
Preview
|
PDF (181KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19640100803
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1964
数据来源: WILEY
|
3. |
NOTE ON DEFINITION OF RECURSIVENESS |
|
Mathematical Logic Quarterly,
Volume 10,
Issue 8,
1964,
Page 119-120
Jiří Hořejš,
Preview
|
PDF (94KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19640100804
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1964
数据来源: WILEY
|
4. |
Masthead |
|
Mathematical Logic Quarterly,
Volume 10,
Issue 8,
1964,
Page -
Preview
|
PDF (25KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19640100801
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1964
数据来源: WILEY
|