1. |
The formal language Ltand topological products |
|
Mathematical Logic Quarterly,
Volume 36,
Issue 2,
1990,
Page 89-94
L. E. Bertossi,
Preview
|
PDF (315KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360202
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
2. |
On subsystems of the system J1of Arruda and Da Costa |
|
Mathematical Logic Quarterly,
Volume 36,
Issue 2,
1990,
Page 95-106
Igor Urbas,
Preview
|
PDF (741KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360203
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
3. |
A theorem on labelled trees and the limits of its provability |
|
Mathematical Logic Quarterly,
Volume 36,
Issue 2,
1990,
Page 107-122
Helmut Pfeiffer,
Preview
|
PDF (785KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360204
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
4. |
Some nonstandard methods applied to distributive lattices |
|
Mathematical Logic Quarterly,
Volume 36,
Issue 2,
1990,
Page 123-131
Mai Gehrke,
Matt Insall,
Klaus Kaiser,
Preview
|
PDF (532KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360205
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
5. |
The compleat 0† |
|
Mathematical Logic Quarterly,
Volume 36,
Issue 2,
1990,
Page 133-141
Akihiro Kanamori,
Tamara Awerbuch‐Friedlander,
Preview
|
PDF (533KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360206
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
6. |
On a theorem of Günter Asser |
|
Mathematical Logic Quarterly,
Volume 36,
Issue 2,
1990,
Page 143-147
Cristian Calude,
Lila Sântean,
Preview
|
PDF (238KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360207
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
7. |
Some remarks on ω‐powers of enumerated sets and their applications to ω‐operations |
|
Mathematical Logic Quarterly,
Volume 36,
Issue 2,
1990,
Page 149-161
Andrzej Orlicki,
Preview
|
PDF (679KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360208
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
8. |
Eine Bemerkung zu spektralen Darstellungen von ϱ‐stelligen aufzählbaren und koaufzählbaren Prädikaten durch Ausdrücke aus ∃∀∃∞und ∀∃2∀(∞, 1) |
|
Mathematical Logic Quarterly,
Volume 36,
Issue 2,
1990,
Page 163-184
Michael Deutsch,
Preview
|
PDF (1056KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360209
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
9. |
Masthead |
|
Mathematical Logic Quarterly,
Volume 36,
Issue 2,
1990,
Page -
Preview
|
PDF (31KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360201
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|