| 1. |
Constructively Complete Finite Sets |
| |
Mathematical Logic Quarterly,
Volume 34,
Issue 2,
1988,
Page 97-103
Mark Mandelkern,
Preview
|
PDF (457KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19880340202
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1988
数据来源: WILEY
|
| 2. |
Definability on Formulas With Single Quantifier |
| |
Mathematical Logic Quarterly,
Volume 34,
Issue 2,
1988,
Page 105-108
Shih‐Ping Tung,
Preview
|
PDF (249KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19880340203
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1988
数据来源: WILEY
|
| 3. |
Bounded Obstructions, Model Companions and Amalgamation Bases |
| |
Mathematical Logic Quarterly,
Volume 34,
Issue 2,
1988,
Page 109-115
M. H. Albert,
S. Burris,
Preview
|
PDF (474KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19880340204
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1988
数据来源: WILEY
|
| 4. |
On The Role of The Polynomial (X → Y) →Yin Some Implicative Algebras |
| |
Mathematical Logic Quarterly,
Volume 34,
Issue 2,
1988,
Page 117-122
Antoni Torrens,
Preview
|
PDF (344KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19880340205
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1988
数据来源: WILEY
|
| 5. |
Some Results and Problems in The Modal Set Theory MST |
| |
Mathematical Logic Quarterly,
Volume 34,
Issue 2,
1988,
Page 123-134
Jan Krajíček,
Preview
|
PDF (705KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19880340206
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1988
数据来源: WILEY
|
| 6. |
Cut‐Rule Axiomatization of Product‐Free Lambek Calculus With the Empty String |
| |
Mathematical Logic Quarterly,
Volume 34,
Issue 2,
1988,
Page 135-142
Wojciech Zielonka,
Preview
|
PDF (451KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19880340207
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1988
数据来源: WILEY
|
| 7. |
Strong Reducibilities of Enumerations and Partial Enumerated Algebras |
| |
Mathematical Logic Quarterly,
Volume 34,
Issue 2,
1988,
Page 143-162
A. Orlicki,
Preview
|
PDF (984KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19880340208
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1988
数据来源: WILEY
|
| 8. |
Eine Bemerkung Zur Spektralen Darstellung Von ϱ‐Stelligen Aufzählbaren Und Koaufzählbaren Prädikaten Durch Ausdrücke Aus ∃∞∀ϵ∃(ϱ, 1) ∀∞∃(ϱ, 1) Und ∀∞∃(∞, 1) |
| |
Mathematical Logic Quarterly,
Volume 34,
Issue 2,
1988,
Page 163-176
Michael Deutsch,
Preview
|
PDF (659KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19880340209
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1988
数据来源: WILEY
|
| 9. |
Algebraische Eigenschaften Eines Funktional Unvollständigen Dreiwertigen Aussagenkalküls |
| |
Mathematical Logic Quarterly,
Volume 34,
Issue 2,
1988,
Page 177-188
Klaus Denecke,
Preview
|
PDF (607KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19880340210
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1988
数据来源: WILEY
|
| 10. |
Some Aspects ofn‐Subtlety |
| |
Mathematical Logic Quarterly,
Volume 34,
Issue 2,
1988,
Page 189-192
Pierre Matet,
Preview
|
PDF (314KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19880340211
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1988
数据来源: WILEY
|
首页
