1. |
Decidability and Definability Results Concerning Well‐Orderings and Some Extensions of First Order Logic |
|
Mathematical Logic Quarterly,
Volume 26,
Issue 34‐35,
1980,
Page 529-536
Bogdan Stanislaw Chlebus,
Preview
|
PDF (452KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19800263402
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1980
数据来源: WILEY
|
2. |
Some Remarks on the Structure of Expansions |
|
Mathematical Logic Quarterly,
Volume 26,
Issue 34‐35,
1980,
Page 537-546
Roman Murawski,
Preview
|
PDF (593KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19800263403
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1980
数据来源: WILEY
|
3. |
Implikative BCK‐Algebren |
|
Mathematical Logic Quarterly,
Volume 26,
Issue 34‐35,
1980,
Page 547-554
Klaus Denecke,
Preview
|
PDF (498KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19800263404
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1980
数据来源: WILEY
|
4. |
A Hierarchy of Models for Skala's Set Theory |
|
Mathematical Logic Quarterly,
Volume 26,
Issue 34‐35,
1980,
Page 555-559
Martin Kühnrich,
Konrad Schultz,
Preview
|
PDF (287KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19800263405
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1980
数据来源: WILEY
|
5. |
Masthead |
|
Mathematical Logic Quarterly,
Volume 26,
Issue 34‐35,
1980,
Page -
Preview
|
PDF (32KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19800263401
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1980
数据来源: WILEY
|