1. |
Modus Ponens and Derivation from Horn Formulas |
|
Mathematical Logic Quarterly,
Volume 13,
Issue 3‐5,
1967,
Page 33-54
William Craig,
Preview
|
PDF (1494KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19670130302
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1967
数据来源: WILEY
|
2. |
Cauchyfolgen Höheren Typus in Angeordneten Körpern |
|
Mathematical Logic Quarterly,
Volume 13,
Issue 3‐5,
1967,
Page 55-66
Kurt Hauschild,
Preview
|
PDF (604KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19670130303
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1967
数据来源: WILEY
|
3. |
Über Experimente an Automaten |
|
Mathematical Logic Quarterly,
Volume 13,
Issue 3‐5,
1967,
Page 67-80
Peter H. Starke,
Preview
|
PDF (692KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19670130304
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1967
数据来源: WILEY
|
4. |
Masthead |
|
Mathematical Logic Quarterly,
Volume 13,
Issue 3‐5,
1967,
Page -
Preview
|
PDF (31KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19670130301
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1967
数据来源: WILEY
|