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
|