| 1. |
The Priority Method I |
| |
Mathematical Logic Quarterly,
Volume 13,
Issue 1‐2,
1967,
Page 1-10
A. H. Lachlans,
Preview
|
PDF (601KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19670130102
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1967
数据来源: WILEY
|
| 2. |
A Remark on the Truth‐Value Stipulation for the Modal System M′ |
| |
Mathematical Logic Quarterly,
Volume 13,
Issue 1‐2,
1967,
Page 11-14
A. Nakamura,
Preview
|
PDF (163KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19670130103
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1967
数据来源: WILEY
|
| 3. |
The Decision Problem for a Class of First‐Order Formulas in Which all Disjunctions are Binary |
| |
Mathematical Logic Quarterly,
Volume 13,
Issue 1‐2,
1967,
Page 15-20
M. R. Krom,
Preview
|
PDF (468KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19670130104
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1967
数据来源: WILEY
|
| 4. |
On the Minimal Length of Sequences Representing Simply Ordered Sets |
| |
Mathematical Logic Quarterly,
Volume 13,
Issue 1‐2,
1967,
Page 21-23
Alexander Abian,
David Deever,
Preview
|
PDF (186KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19670130105
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1967
数据来源: WILEY
|
| 5. |
On Pseudo‐Creative Sets, Splinters, and Bounded‐Truth‐Table Reducibility |
| |
Mathematical Logic Quarterly,
Volume 13,
Issue 1‐2,
1967,
Page 25-31
Paul R. Young,
Preview
|
PDF (449KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19670130106
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1967
数据来源: WILEY
|
| 6. |
Masthead |
| |
Mathematical Logic Quarterly,
Volume 13,
Issue 1‐2,
1967,
Page -
Preview
|
PDF (31KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19670130101
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1967
数据来源: WILEY
|
首页
Volume 13 issue 1‐2