| 1. |
Iterative Systems and Diagram Algorithms |
| |
Mathematical Logic Quarterly,
Volume 27,
Issue 36,
1981,
Page 561-564
Branislav Martić,
Preview
|
PDF (199KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19810273602
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1981
数据来源: WILEY
|
| 2. |
Klassentheoretische Paare |
| |
Mathematical Logic Quarterly,
Volume 27,
Issue 36,
1981,
Page 565-568
Arnold Oberschelp,
Günter Todt,
Preview
|
PDF (259KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19810273603
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1981
数据来源: WILEY
|
| 3. |
Decidability with Respect to Härtig Quantifier and Rescher Quantifier |
| |
Mathematical Logic Quarterly,
Volume 27,
Issue 36,
1981,
Page 569-576
Martin Weese,
Preview
|
PDF (303KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19810273604
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1981
数据来源: WILEY
|
| 4. |
Masthead |
| |
Mathematical Logic Quarterly,
Volume 27,
Issue 36,
1981,
Page -
Preview
|
PDF (29KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19810273601
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1981
数据来源: WILEY
|
首页
