| 1. |
Note on the 3‐Recursive Functions |
| |
Mathematical Logic Quarterly,
Volume 7,
Issue 7‐10,
1961,
Page 97-98
Paul Axt,
Preview
|
PDF (73KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19610070702
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1961
数据来源: WILEY
|
| 2. |
Some Remarks on a Relative Anti‐Closure Property |
| |
Mathematical Logic Quarterly,
Volume 7,
Issue 7‐10,
1961,
Page 99-103
A. A. Mullin,
Preview
|
PDF (262KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19610070703
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1961
数据来源: WILEY
|
| 3. |
An Extension of the Équivalence Calculus |
| |
Mathematical Logic Quarterly,
Volume 7,
Issue 7‐10,
1961,
Page 104-105
Hugues Leblanc,
Preview
|
PDF (89KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19610070704
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1961
数据来源: WILEY
|
| 4. |
Turing Algorithms |
| |
Mathematical Logic Quarterly,
Volume 7,
Issue 7‐10,
1961,
Page 106-116
Vladeta Vučković,
Preview
|
PDF (491KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19610070705
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1961
数据来源: WILEY
|
| 5. |
The Stroke Function in Natural Deduction |
| |
Mathematical Logic Quarterly,
Volume 7,
Issue 7‐10,
1961,
Page 117-123
Robert Price,
Preview
|
PDF (187KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19610070706
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1961
数据来源: WILEY
|
| 6. |
On the Consistency and Undecidability of Recursive Arithmetic |
| |
Mathematical Logic Quarterly,
Volume 7,
Issue 7‐10,
1961,
Page 124-135
H. E. Rose,
Preview
|
PDF (555KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19610070707
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1961
数据来源: WILEY
|
| 7. |
On the Recursivity of Finite Sets |
| |
Mathematical Logic Quarterly,
Volume 7,
Issue 7‐10,
1961,
Page 136-140
Ronald Harrop,
Preview
|
PDF (346KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19610070708
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1961
数据来源: WILEY
|
| 8. |
Ein Beitrag Zur Kardinalzahlarithmetik Ohne Auswahlaxiom |
| |
Mathematical Logic Quarterly,
Volume 7,
Issue 7‐10,
1961,
Page 141-145
H. Läuchli,
Preview
|
PDF (232KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19610070709
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1961
数据来源: WILEY
|
| 9. |
Relative Interpretations |
| |
Mathematical Logic Quarterly,
Volume 7,
Issue 7‐10,
1961,
Page 146-153
Steven Orey,
Preview
|
PDF (458KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19610070710
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1961
数据来源: WILEY
|
| 10. |
Unendliche Formeln in Der Modelltheorie |
| |
Mathematical Logic Quarterly,
Volume 7,
Issue 7‐10,
1961,
Page 154-160
Erwin Engeler,
Preview
|
PDF (362KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19610070711
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1961
数据来源: WILEY
|
首页
