| 1. |
On the Non‐Existence of Finite Characteristic Models for Some Classes of Implicational Calculi |
| |
Mathematical Logic Quarterly,
Volume 20,
Issue 8‐12,
1974,
Page 113-119
Biswambhar Pahi,
Preview
|
PDF (486KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19740200802
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1974
数据来源: WILEY
|
| 2. |
Some Non‐Recursive Classes of Thue Systems With Solvable Word Problem |
| |
Mathematical Logic Quarterly,
Volume 20,
Issue 8‐12,
1974,
Page 121-132
Ann Yasuhara,
Preview
|
PDF (863KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19740200803
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1974
数据来源: WILEY
|
| 3. |
Minimal Degrees in Generalized Recursion Theory |
| |
Mathematical Logic Quarterly,
Volume 20,
Issue 8‐12,
1974,
Page 133-148
Michael Machtey,
Preview
|
PDF (984KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19740200804
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1974
数据来源: WILEY
|
| 4. |
Some Results on Partitions and Cartesian Products in the Absence of the Axiom of Choice |
| |
Mathematical Logic Quarterly,
Volume 20,
Issue 8‐12,
1974,
Page 149-172
A. H. Kruse,
Preview
|
PDF (1374KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19740200805
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1974
数据来源: WILEY
|
| 5. |
A Topology for the Space of Countable Models of a First Order Theory |
| |
Mathematical Logic Quarterly,
Volume 20,
Issue 8‐12,
1974,
Page 173-178
J. T. Baldwin,
J. M. Plotkin,
Preview
|
PDF (446KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19740200806
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1974
数据来源: WILEY
|
| 6. |
A Proof of the Compactness Theorem |
| |
Mathematical Logic Quarterly,
Volume 20,
Issue 8‐12,
1974,
Page 179-182
Kenneth J. Danhof,
Preview
|
PDF (261KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19740200807
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1974
数据来源: WILEY
|
| 7. |
Die Struktur des Halbverbandes der Effektiven Numerierungen |
| |
Mathematical Logic Quarterly,
Volume 20,
Issue 8‐12,
1974,
Page 183-188
Bernhard Goetze,
Preview
|
PDF (318KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19740200808
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1974
数据来源: WILEY
|
| 8. |
Unentscheidbarkeitsgrade Rekursiver Funktionen |
| |
Mathematical Logic Quarterly,
Volume 20,
Issue 8‐12,
1974,
Page 189-191
Bernhard Goetze,
Preview
|
PDF (175KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19740200809
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1974
数据来源: WILEY
|
| 9. |
Masthead |
| |
Mathematical Logic Quarterly,
Volume 20,
Issue 8‐12,
1974,
Page -
Preview
|
PDF (28KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19740200801
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1974
数据来源: WILEY
|
首页
