|
|
| 1. |
Monadic Elementary Formal Systems |
| |
Mathematical Logic Quarterly,
Volume 7,
Issue 6,
1961,
Page 81-83
Raymond M. Smullyan,
Preview
|
PDF (186KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19610070602
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1961
数据来源: WILEY
|
| 2. |
A Complete Set of Axioms for Logical Formulas Invalid in Some Finite Domain |
| |
Mathematical Logic Quarterly,
Volume 7,
Issue 6,
1961,
Page 84-96
Theodore Hailperin,
Preview
|
PDF (729KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19610070603
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1961
数据来源: WILEY
|
| 3. |
Masthead |
| |
Mathematical Logic Quarterly,
Volume 7,
Issue 6,
1961,
Page -
Preview
|
PDF (27KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19610070601
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1961
数据来源: WILEY
|
|
首页
