1. |
Variations on A System Of Gentzen |
|
Mathematical Logic Quarterly,
Volume 27,
Issue 25‐30,
1981,
Page 385-389
E. G. K. López‐Escobar,
Preview
|
PDF (230KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19810272502
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1981
数据来源: WILEY
|
2. |
Efficient Combinatory Reduction |
|
Mathematical Logic Quarterly,
Volume 27,
Issue 25‐30,
1981,
Page 391-402
John Staples,
Preview
|
PDF (799KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19810272503
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1981
数据来源: WILEY
|
3. |
Classification of Quantifier Prefixes Over Diophantine Equations |
|
Mathematical Logic Quarterly,
Volume 27,
Issue 25‐30,
1981,
Page 403-410
James P. Jones,
Preview
|
PDF (469KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19810272504
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1981
数据来源: WILEY
|
4. |
A Class of ℵ0‐Categorical Theories |
|
Mathematical Logic Quarterly,
Volume 27,
Issue 25‐30,
1981,
Page 411-418
Anand Pillay,
Preview
|
PDF (601KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19810272505
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1981
数据来源: WILEY
|
5. |
Comparing The Expressive Power of Some Languages for Boolean Algebras |
|
Mathematical Logic Quarterly,
Volume 27,
Issue 25‐30,
1981,
Page 419-434
Lutz Heindorf,
Preview
|
PDF (944KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19810272506
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1981
数据来源: WILEY
|
6. |
A General Theorem on Existence Theorems |
|
Mathematical Logic Quarterly,
Volume 27,
Issue 25‐30,
1981,
Page 435-452
Martin Stein,
Preview
|
PDF (821KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19810272507
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1981
数据来源: WILEY
|
7. |
Undecidable Problems Associated with Combinatiorial Systems and Their One‐One Degrees of Unsolvability |
|
Mathematical Logic Quarterly,
Volume 27,
Issue 25‐30,
1981,
Page 453-462
Joanna Jedrzejowicz,
Preview
|
PDF (446KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19810272508
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1981
数据来源: WILEY
|
8. |
METRISCH‐EUKLIDISCHE RÄUME BELIEBIGER DIMENSION IM AUFBAU DER GEOMETRIE AUS DEM SPIEGELUNGSBEGRIFF |
|
Mathematical Logic Quarterly,
Volume 27,
Issue 25‐30,
1981,
Page 463-472
B. Klotzek,
R. Stamm,
Preview
|
PDF (629KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19810272509
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1981
数据来源: WILEY
|
9. |
Berechenbarkeit in Topologischen Räumen Mit Rekursiver Basis |
|
Mathematical Logic Quarterly,
Volume 27,
Issue 25‐30,
1981,
Page 473-480
Jürgen Hauck,
Preview
|
PDF (568KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19810272510
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1981
数据来源: WILEY
|
10. |
Masthead |
|
Mathematical Logic Quarterly,
Volume 27,
Issue 25‐30,
1981,
Page -
Preview
|
PDF (29KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19810272501
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1981
数据来源: WILEY
|