| 1. |
The Model Completion of the Theory of All Partially Ordered Sets |
| |
Mathematical Logic Quarterly,
Volume 35,
Issue 6,
1989,
Page 481-481
G. E. Puninskij,
Preview
|
PDF (81KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19890350602
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1989
数据来源: WILEY
|
| 2. |
An Addition to “Cut Elimination in ϵ‐Calculi” |
| |
Mathematical Logic Quarterly,
Volume 35,
Issue 6,
1989,
Page 483-484
Mitsuru Yasuhara,
Preview
|
PDF (88KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19890350603
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1989
数据来源: WILEY
|
| 3. |
Linked Double Weak Stone Algebras |
| |
Mathematical Logic Quarterly,
Volume 35,
Issue 6,
1989,
Page 485-494
Hanamantagouda P. Sankappanavar,
Preview
|
PDF (414KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19890350604
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1989
数据来源: WILEY
|
| 4. |
A Theory of Ambiguous Types and Its Axiomatizations |
| |
Mathematical Logic Quarterly,
Volume 35,
Issue 6,
1989,
Page 495-514
Andrey A. Kuzichev,
Preview
|
PDF (1075KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19890350605
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1989
数据来源: WILEY
|
| 5. |
Construction of An Equality Relation on a Set with Coequality Relation |
| |
Mathematical Logic Quarterly,
Volume 35,
Issue 6,
1989,
Page 515-516
Daniel A. Romano,
Preview
|
PDF (97KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19890350606
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1989
数据来源: WILEY
|
| 6. |
Zum Reduktionstyp ∃∞∀∃∀ (0, 1) Und Zur Spektralen Darstellung ϱ‐Stelliger Aufzählbarer und Koaufzählbarer Prädikate Durch Ausdrücke Aus ∃∞∀∃∀ (ϱ, 1) |
| |
Mathematical Logic Quarterly,
Volume 35,
Issue 6,
1989,
Page 517-529
Michael Deutsch,
Preview
|
PDF (698KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19890350607
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1989
数据来源: WILEY
|
| 7. |
Ternary Operations as Primitive Notions for Constructive Plane Geometry |
| |
Mathematical Logic Quarterly,
Volume 35,
Issue 6,
1989,
Page 531-535
Victor Pambuccian,
Preview
|
PDF (265KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19890350608
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1989
数据来源: WILEY
|
| 8. |
Models of Set Theory in Which Every Normal Precipitous Ideal is Uniformly Normed |
| |
Mathematical Logic Quarterly,
Volume 35,
Issue 6,
1989,
Page 537-538
Juji Takahashi,
Preview
|
PDF (131KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19890350609
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1989
数据来源: WILEY
|
| 9. |
A New Approach to Constructive Topology and Measure Theory |
| |
Mathematical Logic Quarterly,
Volume 35,
Issue 6,
1989,
Page 539-550
A. K. Khalifa,
Preview
|
PDF (629KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19890350610
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1989
数据来源: WILEY
|
| 10. |
Bemerkungen Zur Semantik Nicht‐Normaler Möglicher Welten |
| |
Mathematical Logic Quarterly,
Volume 35,
Issue 6,
1989,
Page 551-557
Heinrich Wansing,
Preview
|
PDF (453KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19890350611
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1989
数据来源: WILEY
|
首页
