| 1. |
On the Proof Theory of the Modal Logic Grz |
| |
Mathematical Logic Quarterly,
Volume 32,
Issue 10‐12,
1986,
Page 145-148
M. Borga,
P. Gentilini,
Preview
|
PDF (245KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19860321002
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1986
数据来源: WILEY
|
| 2. |
[Russian Text Ignored.] |
| |
Mathematical Logic Quarterly,
Volume 32,
Issue 10‐12,
1986,
Page 149-180
Preview
|
PDF (1777KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19860321003
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1986
数据来源: WILEY
|
| 3. |
Deterministic Algorithms, Simple Languages And One‐to‐One Gentzen Type Formalizations |
| |
Mathematical Logic Quarterly,
Volume 32,
Issue 10‐12,
1986,
Page 181-188
Anita Wasilewska,
Preview
|
PDF (451KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19860321004
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1986
数据来源: WILEY
|
| 4. |
The Theory of Boolean Algebras WithQ0and Quantification Over Ideals |
| |
Mathematical Logic Quarterly,
Volume 32,
Issue 10‐12,
1986,
Page 189-191
Martin Weese,
Preview
|
PDF (190KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19860321005
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1986
数据来源: WILEY
|
| 5. |
Masthead |
| |
Mathematical Logic Quarterly,
Volume 32,
Issue 10‐12,
1986,
Page -
Preview
|
PDF (31KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19860321001
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1986
数据来源: WILEY
|
首页
