1. |
Effective Enumerability of Some Families of Partially Recursive Functions Connected With Computable Functionals |
|
Mathematical Logic Quarterly,
Volume 16,
Issue 2,
1970,
Page 113-121
Vladeta Vučković,
Preview
|
PDF (464KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19700160202
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1970
数据来源: WILEY
|
2. |
Recursive Word‐Functions over Infinite Alphabets |
|
Mathematical Logic Quarterly,
Volume 16,
Issue 2,
1970,
Page 123-138
Vladeta Vučkovi,
Preview
|
PDF (738KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19700160203
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1970
数据来源: WILEY
|
3. |
On the Semantics of the Constructible Levels |
|
Mathematical Logic Quarterly,
Volume 16,
Issue 2,
1970,
Page 139-148
George Boolos,
Preview
|
PDF (597KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19700160204
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1970
数据来源: WILEY
|
4. |
The Hyperprojective Hierarchy |
|
Mathematical Logic Quarterly,
Volume 16,
Issue 2,
1970,
Page 149-164
Stephen L. Bloom,
Preview
|
PDF (795KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19700160205
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1970
数据来源: WILEY
|
5. |
Decision Procedures and Semantics for Feys' System S2° and Surrounding Systems |
|
Mathematical Logic Quarterly,
Volume 16,
Issue 2,
1970,
Page 165-174
R. Routley,
Preview
|
PDF (513KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19700160206
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1970
数据来源: WILEY
|
6. |
Models for Multiply Modal Systems |
|
Mathematical Logic Quarterly,
Volume 16,
Issue 2,
1970,
Page 175-186
M. K. Rennie,
Preview
|
PDF (701KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19700160207
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1970
数据来源: WILEY
|
7. |
Some Properties of Recursively Inseparable Sets |
|
Mathematical Logic Quarterly,
Volume 16,
Issue 2,
1970,
Page 187-200
J. P. Cleave,
Preview
|
PDF (657KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19700160208
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1970
数据来源: WILEY
|
8. |
Masthead |
|
Mathematical Logic Quarterly,
Volume 16,
Issue 2,
1970,
Page -
Preview
|
PDF (30KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19700160201
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1970
数据来源: WILEY
|