1. |
Sufficient and Necessary Condition for the Completeness of a Calculus |
|
Mathematical Logic Quarterly,
Volume 20,
Issue 28‐29,
1974,
Page 433-434
H. Andréka,
T. Gergely,
I. Németi,
Preview
|
PDF (139KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19740202802
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1974
数据来源: WILEY
|
2. |
Predicative Expansions of Axiomatic Theories |
|
Mathematical Logic Quarterly,
Volume 20,
Issue 28‐29,
1974,
Page 435-452
Stanissław Krajewski,
Preview
|
PDF (1081KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19740202803
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1974
数据来源: WILEY
|
3. |
Die Vertauschbaren Funktionen derk‐Wertigen Logik und Ein Basisproblem |
|
Mathematical Logic Quarterly,
Volume 20,
Issue 28‐29,
1974,
Page 453-463
W. Harnau,
Preview
|
PDF (579KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19740202804
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1974
数据来源: WILEY
|
4. |
Masthead |
|
Mathematical Logic Quarterly,
Volume 20,
Issue 28‐29,
1974,
Page -
Preview
|
PDF (28KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19740202801
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1974
数据来源: WILEY
|