1. |
The Independence of Control Structures in Programmable Numberings of the Partial Recursive Functions |
|
Mathematical Logic Quarterly,
Volume 28,
Issue 20‐21,
1982,
Page 285-296
Gregory A. Riccardi,
Preview
|
PDF (795KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19820282002
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1982
数据来源: WILEY
|
2. |
Systems With Parity Quantifiers |
|
Mathematical Logic Quarterly,
Volume 28,
Issue 20‐21,
1982,
Page 297-309
Richard L. Call,
Preview
|
PDF (751KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19820282003
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1982
数据来源: WILEY
|
3. |
Cut Elimination in ε‐Calculi |
|
Mathematical Logic Quarterly,
Volume 28,
Issue 20‐21,
1982,
Page 311-316
Mitsuru Yasuhara,
Preview
|
PDF (410KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19820282004
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1982
数据来源: WILEY
|
4. |
Masthead |
|
Mathematical Logic Quarterly,
Volume 28,
Issue 20‐21,
1982,
Page -
Preview
|
PDF (31KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19820282001
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1982
数据来源: WILEY
|