| 1. |
On the Axiomatizability of the Notion of an Automorphism of a Finite Order |
| |
Mathematical Logic Quarterly,
Volume 26,
Issue 28‐30,
1980,
Page 433-437
D. A. Anapolitanos,
J. Väänänen,
Preview
|
PDF (324KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19800262802
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1980
数据来源: WILEY
|
| 2. |
On the Gentzen Type Formalizations |
| |
Mathematical Logic Quarterly,
Volume 26,
Issue 28‐30,
1980,
Page 439-444
Anita Wasilewska,
Preview
|
PDF (298KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19800262803
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1980
数据来源: WILEY
|
| 3. |
Reduzierbarkeit von Berechenbaren Numerierungen von P1 |
| |
Mathematical Logic Quarterly,
Volume 26,
Issue 28‐30,
1980,
Page 445-458
Josef Falkinger,
Preview
|
PDF (552KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19800262804
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1980
数据来源: WILEY
|
| 4. |
The R. E. Complexity of Decision Problems for Commutative Semi‐Thue Systems With Recursive Rule Set |
| |
Mathematical Logic Quarterly,
Volume 26,
Issue 28‐30,
1980,
Page 459-469
Egon Börger,
Hans Kleine Büning,
Preview
|
PDF (683KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19800262805
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1980
数据来源: WILEY
|
| 5. |
Some Observations Concerning Medial Fields |
| |
Mathematical Logic Quarterly,
Volume 26,
Issue 28‐30,
1980,
Page 471-475
John L. Hickman,
Preview
|
PDF (390KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19800262806
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1980
数据来源: WILEY
|
| 6. |
A Class of Polynomial Equations in a Single Ordinal Variable |
| |
Mathematical Logic Quarterly,
Volume 26,
Issue 28‐30,
1980,
Page 477-479
John L. Hickman,
Preview
|
PDF (229KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19800262807
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1980
数据来源: WILEY
|
| 7. |
Masthead |
| |
Mathematical Logic Quarterly,
Volume 26,
Issue 28‐30,
1980,
Page -
Preview
|
PDF (32KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19800262801
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1980
数据来源: WILEY
|
首页
