1. |
Topologische Auffassung Der Axiome Der Verknüpfung Von D. Hilbert |
|
Mathematical Logic Quarterly,
Volume 11,
Issue 2,
1965,
Page 81-88
Karel Čulík,
Preview
|
PDF (483KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19650110202
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1965
数据来源: WILEY
|
2. |
Nonconcatenative Abstract Skolem Arithmetics I |
|
Mathematical Logic Quarterly,
Volume 11,
Issue 2,
1965,
Page 89-92
H. A. Pogorzelski,
Preview
|
PDF (245KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19650110203
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1965
数据来源: WILEY
|
3. |
On the Infinitely Many‐Valued Double‐Threshold Logic |
|
Mathematical Logic Quarterly,
Volume 11,
Issue 2,
1965,
Page 93-101
Akira Nakamura,
Preview
|
PDF (332KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19650110204
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1965
数据来源: WILEY
|
4. |
Modelle Der Mengenlehre, in Denen Mengen Gegebener Gestalt Existieren |
|
Mathematical Logic Quarterly,
Volume 11,
Issue 2,
1965,
Page 103-115
Petr Hájek,
Preview
|
PDF (585KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19650110205
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1965
数据来源: WILEY
|
5. |
A Contribution Toward Computable Number Theory |
|
Mathematical Logic Quarterly,
Volume 11,
Issue 2,
1965,
Page 117-119
Albert A. Mullin,
Preview
|
PDF (186KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19650110206
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1965
数据来源: WILEY
|
6. |
A Note on Reducible Induction Schemata |
|
Mathematical Logic Quarterly,
Volume 11,
Issue 2,
1965,
Page 121-126
H. E. Rose,
Preview
|
PDF (229KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19650110207
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1965
数据来源: WILEY
|
7. |
A Class of Extensions of the Modal System S4 with the Finite Model Property |
|
Mathematical Logic Quarterly,
Volume 11,
Issue 2,
1965,
Page 127-132
R. A. Bull,
Preview
|
PDF (281KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19650110208
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1965
数据来源: WILEY
|
8. |
Rekursive Wortfunktionen Über Unendlichen Alphabeten |
|
Mathematical Logic Quarterly,
Volume 11,
Issue 2,
1965,
Page 133-147
Frieder Schwenkel,
Preview
|
PDF (775KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19650110209
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1965
数据来源: WILEY
|
9. |
Machine Configuration and Word Problems of Given Degree of Unsolvability |
|
Mathematical Logic Quarterly,
Volume 11,
Issue 2,
1965,
Page 149-175
J. C. Shepherdson,
Preview
|
PDF (1679KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19650110210
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1965
数据来源: WILEY
|
10. |
Formalisations of Certain Propositional Calculi with Partially Variable Functors |
|
Mathematical Logic Quarterly,
Volume 11,
Issue 2,
1965,
Page 177-180
Alan Rose,
Preview
|
PDF (179KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19650110211
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1965
数据来源: WILEY
|