1. |
Degrees of Souslin Trees |
|
Mathematical Logic Quarterly,
Volume 37,
Issue 33‐35,
1991,
Page 513-524
Stefan Bilaniuk,
Preview
|
PDF (692KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19910373302
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1991
数据来源: WILEY
|
2. |
Nonstandard Methods and Finiteness Conditions in Algebra |
|
Mathematical Logic Quarterly,
Volume 37,
Issue 33‐35,
1991,
Page 525-532
Matt Insall,
Preview
|
PDF (499KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19910373303
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1991
数据来源: WILEY
|
3. |
Deduction Theorem for Many‐Valued Inference |
|
Mathematical Logic Quarterly,
Volume 37,
Issue 33‐35,
1991,
Page 533-537
Mingsheng Ying,
Preview
|
PDF (205KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19910373304
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1991
数据来源: WILEY
|
4. |
Remarks on The Cartesian Closure |
|
Mathematical Logic Quarterly,
Volume 37,
Issue 33‐35,
1991,
Page 539-545
Lauri Hella,
Michal Krynicki,
Preview
|
PDF (348KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19910373305
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1991
数据来源: WILEY
|
5. |
Church‐Rosser Property for Some Extensions of λβ‐Reducibility Relation |
|
Mathematical Logic Quarterly,
Volume 37,
Issue 33‐35,
1991,
Page 547-559
Andrei A. Kuzichev,
Preview
|
PDF (590KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19910373306
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1991
数据来源: WILEY
|
6. |
Masthead |
|
Mathematical Logic Quarterly,
Volume 37,
Issue 33‐35,
1991,
Page -
Preview
|
PDF (30KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19910373301
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1991
数据来源: WILEY
|