1. |
Funktionen‐Algorithmen |
|
Mathematical Logic Quarterly,
Volume 7,
Issue 1‐5,
1961,
Page 1-8
Günter Asser,
Vladeta Vučković,
Preview
|
PDF (396KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19610070102
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1961
数据来源: WILEY
|
2. |
Eine Bemerkung Zum Mengenbildungsaxiom |
|
Mathematical Logic Quarterly,
Volume 7,
Issue 1‐5,
1961,
Page 9-11
Kurt Hauschild,
Preview
|
PDF (151KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19610070103
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1961
数据来源: WILEY
|
3. |
Unentscheidbarkeit Der Euklidischen Inzidenzgeometrie |
|
Mathematical Logic Quarterly,
Volume 7,
Issue 1‐5,
1961,
Page 12-15
Wolfgang Rautenberg,
Preview
|
PDF (198KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19610070104
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1961
数据来源: WILEY
|
4. |
Über Die Ausdehnung Von x‐Homomorphismen Boolescher Algebren II. |
|
Mathematical Logic Quarterly,
Volume 7,
Issue 1‐5,
1961,
Page 16-19
Klaus Matthes,
Preview
|
PDF (253KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19610070105
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1961
数据来源: WILEY
|
5. |
Funktionen‐Algorithmen und Graphschemata |
|
Mathematical Logic Quarterly,
Volume 7,
Issue 1‐5,
1961,
Page 20-27
Günter Asser,
Preview
|
PDF (327KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19610070106
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1961
数据来源: WILEY
|
6. |
Finite Definability of Number‐Theoretic Functions and Parametric Completeness of Equational Calculi |
|
Mathematical Logic Quarterly,
Volume 7,
Issue 1‐5,
1961,
Page 28-38
Georg Kreisel,
William W. Tait,
Preview
|
PDF (627KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19610070107
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1961
数据来源: WILEY
|
7. |
Zwei Konstruktionen Quasilinearer Erweiterungen Der Anordnung Einer Abelschen Gruppe Mit Hilfe Additiver und Isotoner Funktionale |
|
Mathematical Logic Quarterly,
Volume 7,
Issue 1‐5,
1961,
Page 39-45
František Šik,
Preview
|
PDF (390KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19610070108
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1961
数据来源: WILEY
|
8. |
On Suborderings of Degrees of Recursive Unsolvability |
|
Mathematical Logic Quarterly,
Volume 7,
Issue 1‐5,
1961,
Page 46-56
Gerald E. Sacks,
Preview
|
PDF (685KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19610070109
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1961
数据来源: WILEY
|
9. |
A Muted Variation on a Theme of Mendelson |
|
Mathematical Logic Quarterly,
Volume 7,
Issue 1‐5,
1961,
Page 57-60
T. G. Mc Laughlin,
Preview
|
PDF (225KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19610070110
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1961
数据来源: WILEY
|
10. |
Some Axiom‐Pairs for Material and Strict Implication |
|
Mathematical Logic Quarterly,
Volume 7,
Issue 1‐5,
1961,
Page 61-65
A. N. Prior,
Preview
|
PDF (193KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19610070111
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1961
数据来源: WILEY
|