| 1. |
EIN ENTSCHEIDUNGSVERFAHREN FÜR DEN LEWISSCHEN MODALKALKÜL S 4 |
| |
Mathematical Logic Quarterly,
Volume 15,
Issue 13‐15,
1969,
Page 193-210
Rainer Krauskope,
Preview
|
PDF (978KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19690151301
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1969
数据来源: WILEY
|
| 2. |
Quantificational variants on the halting problem for turing machines |
| |
Mathematical Logic Quarterly,
Volume 15,
Issue 13‐15,
1969,
Page 211-218
Patrick C. Fischer,
Preview
|
PDF (469KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19690151302
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1969
数据来源: WILEY
|
| 3. |
A reduction theorem for normal algorithms |
| |
Mathematical Logic Quarterly,
Volume 15,
Issue 13‐15,
1969,
Page 219-222
R. M. Baer,
Preview
|
PDF (209KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19690151303
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1969
数据来源: WILEY
|
| 4. |
ÜBER NICHTSTANDARDMODELLE DER ARITHMETIK UND DER RATIONALEN ZAHLEN |
| |
Mathematical Logic Quarterly,
Volume 15,
Issue 13‐15,
1969,
Page 223-236
Klaus Potthoff,
Preview
|
PDF (855KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19690151304
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1969
数据来源: WILEY
|
| 5. |
ε0‐Arithmetic |
| |
Mathematical Logic Quarterly,
Volume 15,
Issue 13‐15,
1969,
Page 237-237
Judith Hart,
Preview
|
PDF (58KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19690151305
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1969
数据来源: WILEY
|
| 6. |
MODÈLES DE LA THÉORIE GÉNÉRALE DES ENSEMBLES, CONSTRUITS SUR LES NOMBRES‐ε |
| |
Mathematical Logic Quarterly,
Volume 15,
Issue 13‐15,
1969,
Page 239-240
Maurice Boffa,
Pierre Ribeaufossé,
Preview
|
PDF (84KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19690151306
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1969
数据来源: WILEY
|
首页
