1. |
Embedding Lattices with Top Preserved Below Non‐GL2Degrees |
|
Mathematical Logic Quarterly,
Volume 35,
Issue 1,
1989,
Page 3-14
Peter A. Fejer,
Preview
|
PDF (828KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19890350102
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1989
数据来源: WILEY
|
2. |
Elimination of Quantifiers on Łukasiewicz Logics |
|
Mathematical Logic Quarterly,
Volume 35,
Issue 1,
1989,
Page 15-21
Néstor G. Martínez,
Preview
|
PDF (396KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19890350103
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1989
数据来源: WILEY
|
3. |
p‐ℵ0‐Categorical Lattice‐Ordered Structures |
|
Mathematical Logic Quarterly,
Volume 35,
Issue 1,
1989,
Page 23-28
Carlo Toffalori,
Preview
|
PDF (390KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19890350104
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1989
数据来源: WILEY
|
4. |
A Constructive Treatment of Open and Unopen Mapping Theorems |
|
Mathematical Logic Quarterly,
Volume 35,
Issue 1,
1989,
Page 29-43
Douglas Bridges,
William Julian,
Ray Mines,
Preview
|
PDF (903KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19890350105
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1989
数据来源: WILEY
|
5. |
Pure Logic with Branched Quantifiers |
|
Mathematical Logic Quarterly,
Volume 35,
Issue 1,
1989,
Page 45-48
Marcin Mostowski,
Preview
|
PDF (267KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19890350106
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1989
数据来源: WILEY
|
6. |
Decidability, Recursive Enumerability and Kleene Hierarchy ForL‐Subsets |
|
Mathematical Logic Quarterly,
Volume 35,
Issue 1,
1989,
Page 49-62
Loredana Biacino,
Giangiacomo Gerla,
Preview
|
PDF (744KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19890350107
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1989
数据来源: WILEY
|
7. |
Embedding Properties and Anti‐Foundation in Set Theory |
|
Mathematical Logic Quarterly,
Volume 35,
Issue 1,
1989,
Page 63-70
Roland Hinnion,
Preview
|
PDF (496KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19890350108
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1989
数据来源: WILEY
|
8. |
On Different Concepts of Resolution |
|
Mathematical Logic Quarterly,
Volume 35,
Issue 1,
1989,
Page 71-77
Alexander Leitsch,
Preview
|
PDF (440KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19890350109
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1989
数据来源: WILEY
|
9. |
Covariant Hom‐Functors on the Category of Enumerated Sets |
|
Mathematical Logic Quarterly,
Volume 35,
Issue 1,
1989,
Page 79-94
Andrzej Orlicki,
Preview
|
PDF (917KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19890350110
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1989
数据来源: WILEY
|
10. |
Correction to “Strong Reducibilities of Enumerations and Partial Enumerated Algebras” |
|
Mathematical Logic Quarterly,
Volume 35,
Issue 1,
1989,
Page 95-95
Andrzej Orlicki,
Preview
|
PDF (62KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19890350111
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1989
数据来源: WILEY
|