| 1. |
Two Conjugate Primitive Recursive Permutations not Conjugate by a Primitive Recursive Permutation |
| |
Mathematical Logic Quarterly,
Volume 17,
Issue 1,
1971,
Page 1-3
Mark Finkelstein,
Preview
|
PDF (136KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19710170102
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1971
数据来源: WILEY
|
| 2. |
Full Models and Restricted Extensions of Propositional Calculi |
| |
Mathematical Logic Quarterly,
Volume 17,
Issue 1,
1971,
Page 5-10
Biswambhar Pahi,
Preview
|
PDF (404KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19710170103
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1971
数据来源: WILEY
|
| 3. |
Restricted Extensions of Implicational Calculi |
| |
Mathematical Logic Quarterly,
Volume 17,
Issue 1,
1971,
Page 11-16
Biswambhar Pahi,
Preview
|
PDF (350KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19710170104
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1971
数据来源: WILEY
|
| 4. |
On a Problem of Mostowski on Finite Spectra |
| |
Mathematical Logic Quarterly,
Volume 17,
Issue 1,
1971,
Page 17-20
Mitsuru Yasuhara,
Preview
|
PDF (233KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19710170105
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1971
数据来源: WILEY
|
| 5. |
The Converse to a Metatheorem in Gödel Set Theory |
| |
Mathematical Logic Quarterly,
Volume 17,
Issue 1,
1971,
Page 21-22
Richard A. Platek,
Preview
|
PDF (118KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19710170106
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1971
数据来源: WILEY
|
| 6. |
A Property of the Function ψ(α) defined by 2ℵα = ℵα+ψ(α) |
| |
Mathematical Logic Quarterly,
Volume 17,
Issue 1,
1971,
Page 23-24
F. Bagemihl,
Preview
|
PDF (92KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19710170107
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1971
数据来源: WILEY
|
| 7. |
Über Rekursionssätze in der Bernays‐Gödel‐und in der Neumann‐Quine‐Mengenlehre |
| |
Mathematical Logic Quarterly,
Volume 17,
Issue 1,
1971,
Page 25-33
E. Burger,
Preview
|
PDF (465KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19710170108
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1971
数据来源: WILEY
|
| 8. |
On the Axiom of Choice and the Continuum Hypothesis |
| |
Mathematical Logic Quarterly,
Volume 17,
Issue 1,
1971,
Page 35-37
Rolf Schock,
Preview
|
PDF (162KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19710170109
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1971
数据来源: WILEY
|
| 9. |
Semantic Translation of Programming Languages |
| |
Mathematical Logic Quarterly,
Volume 17,
Issue 1,
1971,
Page 39-46
Andrzej Skowron,
Preview
|
PDF (311KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19710170110
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1971
数据来源: WILEY
|
| 10. |
Interpretierbarkeit und Entscheidbarkeit in der Graphentheorie I |
| |
Mathematical Logic Quarterly,
Volume 17,
Issue 1,
1971,
Page 47-55
Wolfgang Rautenberg,
Kurt Hauschild,
Preview
|
PDF (573KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19710170111
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1971
数据来源: WILEY
|
首页
Volume 17 issue 1