|
1. |
Eine Logik Erster Stufe mit Einem Infinitären Zeitoperator |
|
Mathematical Logic Quarterly,
Volume 28,
Issue 13,
1982,
Page 173-180
Hiroya Kawai,
Preview
|
PDF (463KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19820281302
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1982
数据来源: WILEY
|
2. |
A Decision Method for the Universal Theorems of Quine's New Foundations |
|
Mathematical Logic Quarterly,
Volume 28,
Issue 13,
1982,
Page 181-187
V. Ja. Krenovič,
Urs Oswald,
Preview
|
PDF (422KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19820281303
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1982
数据来源: WILEY
|
3. |
Masthead |
|
Mathematical Logic Quarterly,
Volume 28,
Issue 13,
1982,
Page -
Preview
|
PDF (31KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19820281301
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1982
数据来源: WILEY
|
|