| 1. |
Some Remarks on Theorem Proving Systems and Mazurkiewicz Algorithms Associated with them |
| |
Mathematical Logic Quarterly,
Volume 31,
Issue 19‐20,
1985,
Page 289-294
Anita Wasilewska,
Preview
|
PDF (353KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19850311902
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1985
数据来源: WILEY
|
| 2. |
Recursion on Homogeneous Trees |
| |
Mathematical Logic Quarterly,
Volume 31,
Issue 19‐20,
1985,
Page 295-298
Herman Ruge Jervell,
Preview
|
PDF (200KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19850311903
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1985
数据来源: WILEY
|
| 3. |
A Non‐Boolean Version of Feferman‐Vaught's Theorem |
| |
Mathematical Logic Quarterly,
Volume 31,
Issue 19‐20,
1985,
Page 299-308
R. Lavendhomme,
Th. Lucas,
Preview
|
PDF (623KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19850311904
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1985
数据来源: WILEY
|
| 4. |
Elementary Extensions of Models of the Alternative Set Theory |
| |
Mathematical Logic Quarterly,
Volume 31,
Issue 19‐20,
1985,
Page 309-316
P. Pudlák,
A. Sochor,
Preview
|
PDF (454KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19850311905
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1985
数据来源: WILEY
|
| 5. |
Note on Structural Logics |
| |
Mathematical Logic Quarterly,
Volume 31,
Issue 19‐20,
1985,
Page 317-320
Zbigniew Stachniak,
Preview
|
PDF (228KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19850311906
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1985
数据来源: WILEY
|
| 6. |
Masthead |
| |
Mathematical Logic Quarterly,
Volume 31,
Issue 19‐20,
1985,
Page -
Preview
|
PDF (34KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19850311901
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1985
数据来源: WILEY
|
首页
