1. |
Relativized Gödel speed‐up and the degree of succinctness of representations |
|
Mathematical Logic Quarterly,
Volume 36,
Issue 3,
1990,
Page 185-192
Martin K. Solomon,
Preview
|
PDF (477KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360302
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
2. |
Modal logics withn‐ary connectives |
|
Mathematical Logic Quarterly,
Volume 36,
Issue 3,
1990,
Page 193-215
S. Ghilardi,
G. C. Meloni,
Preview
|
PDF (1125KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360303
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
3. |
Cloture intervallaire et extension logique d'une relation |
|
Mathematical Logic Quarterly,
Volume 36,
Issue 3,
1990,
Page 217-227
Pierre Ille,
Preview
|
PDF (802KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360304
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
4. |
A note on complete partitions in boolean algebras |
|
Mathematical Logic Quarterly,
Volume 36,
Issue 3,
1990,
Page 229-232
Wojciech Sachwanowicz,
Preview
|
PDF (203KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360305
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
5. |
Effective extensions of partial orders |
|
Mathematical Logic Quarterly,
Volume 36,
Issue 3,
1990,
Page 233-236
Dev Kumar Roy,
Preview
|
PDF (241KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360306
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
6. |
An omniscience principle, the König Lemma and the Hahn‐Banach theorem |
|
Mathematical Logic Quarterly,
Volume 36,
Issue 3,
1990,
Page 237-240
Hajime Ishihara,
Preview
|
PDF (226KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360307
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
7. |
On the absoluteness of types in boolean valued lattices |
|
Mathematical Logic Quarterly,
Volume 36,
Issue 3,
1990,
Page 241-246
Hirokazu Nishimura,
Preview
|
PDF (309KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360308
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
8. |
A constructive version of Sperner's lemma and Brouwer's fixed point theorem |
|
Mathematical Logic Quarterly,
Volume 36,
Issue 3,
1990,
Page 247-251
A. K. Khalifa,
Preview
|
PDF (268KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360309
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
9. |
The t‐variable method in gentzen‐style automatic theorem proving |
|
Mathematical Logic Quarterly,
Volume 36,
Issue 3,
1990,
Page 253-261
Tryggvi Edwald,
Preview
|
PDF (517KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360310
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
10. |
Some results on bounded truth‐table degrees |
|
Mathematical Logic Quarterly,
Volume 36,
Issue 3,
1990,
Page 263-271
Angel V. Ditchev,
Preview
|
PDF (511KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360311
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|