1. |
Zur Gödelisierungsfreien Darstellung der Rekursiven und Primitiv‐Rekursiven Funktionen und Rekursiv Aufzählbaren Prädikate Über Quotiententermmengen |
|
Mathematical Logic Quarterly,
Volume 26,
Issue 1‐6,
1980,
Page 1-32
Michael Deutsch,
Preview
|
PDF (1676KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19800260102
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1980
数据来源: WILEY
|
2. |
On Intermediate Consequence Relations |
|
Mathematical Logic Quarterly,
Volume 26,
Issue 1‐6,
1980,
Page 33-34
W. Darsow,
Phyllis M. Kittel,
Preview
|
PDF (154KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19800260103
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1980
数据来源: WILEY
|
3. |
Interpretations With Parameters |
|
Mathematical Logic Quarterly,
Volume 26,
Issue 1‐6,
1980,
Page 35-39
L. W. Szczerba,
Preview
|
PDF (293KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19800260104
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1980
数据来源: WILEY
|
4. |
Logical Complexity of Some Classes of Tree Languages Generated by Multiple‐Tree‐Automata |
|
Mathematical Logic Quarterly,
Volume 26,
Issue 1‐6,
1980,
Page 41-49
Wojciech Buszkowski,
Preview
|
PDF (514KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19800260105
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1980
数据来源: WILEY
|
5. |
Modelltheoretische Eigenschaften Endlichvalenter Graphen |
|
Mathematical Logic Quarterly,
Volume 26,
Issue 1‐6,
1980,
Page 51-58
Heinrich Herre,
Preview
|
PDF (602KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19800260106
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1980
数据来源: WILEY
|
6. |
Untersuchungen zu Schwachen Logiken der Zweiten Stufe |
|
Mathematical Logic Quarterly,
Volume 26,
Issue 1‐6,
1980,
Page 59-68
Eberhard Herrmann,
Helmut Wolter,
Preview
|
PDF (655KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19800260107
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1980
数据来源: WILEY
|
7. |
Stetigkeitseigenschaften Berechenbarer Reeller Funktionen |
|
Mathematical Logic Quarterly,
Volume 26,
Issue 1‐6,
1980,
Page 69-76
Jürgen Hauck,
Preview
|
PDF (482KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19800260108
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1980
数据来源: WILEY
|
8. |
First Order Logics for Metric Structures |
|
Mathematical Logic Quarterly,
Volume 26,
Issue 1‐6,
1980,
Page 77-88
Bernd I. Dahn,
Preview
|
PDF (729KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19800260109
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1980
数据来源: WILEY
|
9. |
Theories With the Existential Substructure Property |
|
Mathematical Logic Quarterly,
Volume 26,
Issue 1‐6,
1980,
Page 89-92
Kenneth L. Manders,
Preview
|
PDF (236KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19800260110
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1980
数据来源: WILEY
|
10. |
Fine Degrees of Word Problems of Cancellation Semigroups |
|
Mathematical Logic Quarterly,
Volume 26,
Issue 1‐6,
1980,
Page 93-95
Carl G. Jockusch,
Preview
|
PDF (221KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19800260111
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1980
数据来源: WILEY
|