1. |
Ein Direkter Beweis für die Allgemein‐Rekursive Unlösbarkeit des Entscheidungsproblems des Prädikatenkalküls der Ersten Stufe mit Identität |
|
Mathematical Logic Quarterly,
Volume 2,
Issue 1‐4,
1956,
Page 1-14
László Kalmár,
Preview
|
PDF (887KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19560020102
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1956
数据来源: WILEY
|
2. |
Completeness and persistence in the theory of models |
|
Mathematical Logic Quarterly,
Volume 2,
Issue 1‐4,
1956,
Page 15-26
Abraham Robinson,
Preview
|
PDF (707KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19560020103
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1956
数据来源: WILEY
|
3. |
[Russian Text Ignored] |
|
Mathematical Logic Quarterly,
Volume 2,
Issue 1‐4,
1956,
Page 27-36
H. A. [Russian Text Ignored],
Preview
|
PDF (599KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19560020104
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1956
数据来源: WILEY
|
4. |
Theorie des Bestimmten Artikels |
|
Mathematical Logic Quarterly,
Volume 2,
Issue 1‐4,
1956,
Page 37-56
Karl Schröter,
Preview
|
PDF (1345KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19560020105
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1956
数据来源: WILEY
|
5. |
Masthead |
|
Mathematical Logic Quarterly,
Volume 2,
Issue 1‐4,
1956,
Page -
Preview
|
PDF (20KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19560020101
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1956
数据来源: WILEY
|