| 1. |
The union axiom in zermelo set theory |
| |
Mathematical Logic Quarterly,
Volume 36,
Issue 4,
1990,
Page 281-284
Carlos G. González,
Preview
|
PDF (184KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360402
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
| 2. |
Jumps of nontrivial splittings of recursively enumerable sets |
| |
Mathematical Logic Quarterly,
Volume 36,
Issue 4,
1990,
Page 285-292
Michael A. Ingrassia,
Steffen Lempp,
Preview
|
PDF (375KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360403
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
| 3. |
The normal depth of filters on an infinite cardinal |
| |
Mathematical Logic Quarterly,
Volume 36,
Issue 4,
1990,
Page 293-296
C. A. di Prisco,
M. Fuller,
J. M. Henle,
Preview
|
PDF (177KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360404
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
| 4. |
Non‐commutative intuitionistic linear logic |
| |
Mathematical Logic Quarterly,
Volume 36,
Issue 4,
1990,
Page 297-318
V. Michele Abrusci,
Preview
|
PDF (944KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360405
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
| 5. |
Fixed points and diagonal method |
| |
Mathematical Logic Quarterly,
Volume 36,
Issue 4,
1990,
Page 319-329
Maurizio Negri,
Preview
|
PDF (667KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360406
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
| 6. |
ƒ‐Multipliers and the localization of hilbert algebras |
| |
Mathematical Logic Quarterly,
Volume 36,
Issue 4,
1990,
Page 331-338
Dumitru Buşneag,
Preview
|
PDF (390KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360407
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
| 7. |
Weitere Verschärfungen zu den Reduktionstypen ∀∃∞∀(0,1), ∃∞∀3∃(∞, 1) |
| |
Mathematical Logic Quarterly,
Volume 36,
Issue 4,
1990,
Page 339-355
Michael Deutsch,
Preview
|
PDF (843KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360408
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
| 8. |
Some extensions of built‐upness on systems of fundamental sequences |
| |
Mathematical Logic Quarterly,
Volume 36,
Issue 4,
1990,
Page 357-364
Noriya Kadota,
Kiwamu Aoyama,
Preview
|
PDF (382KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360409
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
| 9. |
An extension of ono's completeness result |
| |
Mathematical Logic Quarterly,
Volume 36,
Issue 4,
1990,
Page 365-366
Nobu‐Yuki Suzuki,
Preview
|
PDF (97KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360410
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
| 10. |
Many‐valued modal logics: Uses and predicate calculus |
| |
Mathematical Logic Quarterly,
Volume 36,
Issue 4,
1990,
Page 367-376
Pascal Ostermann,
Preview
|
PDF (564KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360411
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
首页
