11. |
Theseus im Labyrinth aks Turingmaschine |
|
Mathematical Logic Quarterly,
Volume 17,
Issue 1,
1971,
Page 57-60
Peter Schreiber,
Preview
|
PDF (221KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19710170112
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1971
数据来源: WILEY
|
12. |
Eine Klassifikation der ε0‐Rekursiven Funktionen |
|
Mathematical Logic Quarterly,
Volume 17,
Issue 1,
1971,
Page 61-74
Helmut Schwichtenberg,
Preview
|
PDF (792KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19710170113
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1971
数据来源: WILEY
|
13. |
Limites in Kategorien von Relationalsystemen |
|
Mathematical Logic Quarterly,
Volume 17,
Issue 1,
1971,
Page 75-90
Michael Richter,
Preview
|
PDF (710KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19710170114
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1971
数据来源: WILEY
|
14. |
Representation of Locally Finite Polyadic Algebras and Ultrapowers |
|
Mathematical Logic Quarterly,
Volume 17,
Issue 1,
1971,
Page 91-96
Klaus Potthoff,
Preview
|
PDF (382KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19710170115
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1971
数据来源: WILEY
|
15. |
A Decision Process for 3‐Valued Sheffer Functions II |
|
Mathematical Logic Quarterly,
Volume 17,
Issue 1,
1971,
Page 97-114
J. C. Muzio,
Preview
|
PDF (824KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19710170116
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1971
数据来源: WILEY
|
16. |
Strong Computability and Variants of the Uniform Halting Problem |
|
Mathematical Logic Quarterly,
Volume 17,
Issue 1,
1971,
Page 115-131
Gabor T. Herman,
Preview
|
PDF (1005KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19710170117
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1971
数据来源: WILEY
|
17. |
The Simple Exponential Constant Problem |
|
Mathematical Logic Quarterly,
Volume 17,
Issue 1,
1971,
Page 133-136
Daniel Richardson,
Preview
|
PDF (191KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19710170118
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1971
数据来源: WILEY
|
18. |
On the Equivalence for Non‐Derivability Testing of Finite Smiley Models and Finite Modified Smiley Models |
|
Mathematical Logic Quarterly,
Volume 17,
Issue 1,
1971,
Page 137-143
Ronald Harrop,
Preview
|
PDF (445KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19710170119
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1971
数据来源: WILEY
|
19. |
Zahlbereichskonstruktionen in einer Mehrwertigen Mengenlehre |
|
Mathematical Logic Quarterly,
Volume 17,
Issue 1,
1971,
Page 145-188
Siegfried Gottwald,
Preview
|
PDF (2391KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19710170120
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1971
数据来源: WILEY
|
20. |
Die Nichtkompaktheit der Klasse der Archimedisch Geordneten Körper |
|
Mathematical Logic Quarterly,
Volume 17,
Issue 1,
1971,
Page 189-191
Dietrich Schwartz,
Preview
|
PDF (203KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19710170121
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1971
数据来源: WILEY
|