| 1. |
Gödelsche Funktionalinterpretation für Eine Erweiterung der Klassischen Analysis |
| |
Mathematical Logic Quarterly,
Volume 31,
Issue 1‐6,
1985,
Page 3-29
Wolfgang Friedrich,
Preview
|
PDF (1629KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19850310102
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1985
数据来源: WILEY
|
| 2. |
Simplified Axiom Schemes for Implication and Iterated Implication |
| |
Mathematical Logic Quarterly,
Volume 31,
Issue 1‐6,
1985,
Page 31-33
John Jones,
Preview
|
PDF (161KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19850310103
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1985
数据来源: WILEY
|
| 3. |
Strong Completeness of a Pure Free Logic |
| |
Mathematical Logic Quarterly,
Volume 31,
Issue 1‐6,
1985,
Page 35-38
Ermanno Bencivenga,
Preview
|
PDF (250KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19850310104
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1985
数据来源: WILEY
|
| 4. |
Zum Aufbau Einer Mehrsortigen Elementaren Logik |
| |
Mathematical Logic Quarterly,
Volume 31,
Issue 1‐6,
1985,
Page 39-56
Heinz Kaphengst,
Preview
|
PDF (1009KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19850310105
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1985
数据来源: WILEY
|
| 5. |
A Test to Determine Distinct Modalities in the Extensions ofS4 |
| |
Mathematical Logic Quarterly,
Volume 31,
Issue 1‐6,
1985,
Page 57-61
Fabio Bellissima,
Preview
|
PDF (264KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19850310106
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1985
数据来源: WILEY
|
| 6. |
Concerning the Axioms of Ackermann's Set Theory |
| |
Mathematical Logic Quarterly,
Volume 31,
Issue 1‐6,
1985,
Page 63-70
Wojciech Buszkowski,
Preview
|
PDF (551KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19850310107
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1985
数据来源: WILEY
|
| 7. |
Almost Disjoint Families of Representing Sets |
| |
Mathematical Logic Quarterly,
Volume 31,
Issue 1‐6,
1985,
Page 71-77
Kevin P. Balanda,
Preview
|
PDF (474KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19850310108
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1985
数据来源: WILEY
|
| 8. |
Eastern Model‐Theory for Boolean‐Valued Theories |
| |
Mathematical Logic Quarterly,
Volume 31,
Issue 1‐6,
1985,
Page 79-88
George Georgescu,
Iana Voiculescu,
Preview
|
PDF (606KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19850310109
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1985
数据来源: WILEY
|
| 9. |
The Elementary Theory of Interval Real Numbers |
| |
Mathematical Logic Quarterly,
Volume 31,
Issue 1‐6,
1985,
Page 89-95
Stephen D. Comer,
Preview
|
PDF (397KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19850310110
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1985
数据来源: WILEY
|
| 10. |
Masthead |
| |
Mathematical Logic Quarterly,
Volume 31,
Issue 1‐6,
1985,
Page -
Preview
|
PDF (34KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19850310101
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1985
数据来源: WILEY
|
首页
Volume 31 issue 1‐6