1. |
Semantic Tableaux for A Logic With Identity |
|
Mathematical Logic Quarterly,
Volume 27,
Issue 16‐17,
1981,
Page 241-247
Ermanno Bencivenga,
Preview
|
PDF (501KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19810271602
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1981
数据来源: WILEY
|
2. |
Formulas ofL(aa) Where aa is not in The Scope of “¬” |
|
Mathematical Logic Quarterly,
Volume 27,
Issue 16‐17,
1981,
Page 249-254
Andreas Baudisch,
Preview
|
PDF (288KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19810271603
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1981
数据来源: WILEY
|
3. |
ZUM VERGLEICH VON HÄRTIGQUANTOR UND RESCHERQUANTOR |
|
Mathematical Logic Quarterly,
Volume 27,
Issue 16‐17,
1981,
Page 255-264
Kurt Hauschild,
Preview
|
PDF (518KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19810271604
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1981
数据来源: WILEY
|
4. |
DIE ENDLICHEN, SUBDIREKT IRREDUZIBLEN ELEMENTE DER VARIETÄT DER BESCHRÄNKTEN KOMMUTATIVEN BCK‐ALGEBREN |
|
Mathematical Logic Quarterly,
Volume 27,
Issue 16‐17,
1981,
Page 265-272
Klaus Denecke,
Preview
|
PDF (458KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19810271605
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1981
数据来源: WILEY
|
5. |
Masthead |
|
Mathematical Logic Quarterly,
Volume 27,
Issue 16‐17,
1981,
Page -
Preview
|
PDF (29KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19810271601
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1981
数据来源: WILEY
|