1. |
A NOTE ON DECOMPOSITIONS OF RECURSIVELY ENUMERABLE SUBSPACES |
|
Mathematical Logic Quarterly,
Volume 30,
Issue 30,
1984,
Page 465-470
R. G. Downey,
Preview
|
PDF (333KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19840303002
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1984
数据来源: WILEY
|
2. |
TRACE EXPANSIONS OF INITIAL SEGMENTS |
|
Mathematical Logic Quarterly,
Volume 30,
Issue 30,
1984,
Page 471-476
Roman Murawski,
Preview
|
PDF (378KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19840303003
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1984
数据来源: WILEY
|
3. |
SOME PROPOSITIONAL CALCULI WITH CONSTANT AND VARIABLE FUNCTORS |
|
Mathematical Logic Quarterly,
Volume 30,
Issue 30,
1984,
Page 477-479
John Jones,
Preview
|
PDF (162KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19840303004
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1984
数据来源: WILEY
|
4. |
Masthead |
|
Mathematical Logic Quarterly,
Volume 30,
Issue 30,
1984,
Page -
Preview
|
PDF (28KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19840303001
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1984
数据来源: WILEY
|