| 1. |
Axiomatization of the First‐Order Intermediate Logics of Bounded Kripkean Heights II |
| |
Mathematical Logic Quarterly,
Volume 37,
Issue 2‐4,
1991,
Page 17-26
Shin'Ichi Ykotota,
Preview
|
PDF (451KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19910370202
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1991
数据来源: WILEY
|
| 2. |
Les Tournois (−1)‐Chaîne |
| |
Mathematical Logic Quarterly,
Volume 37,
Issue 2‐4,
1991,
Page 27-37
Cyprien Gnanvo,
Preview
|
PDF (679KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19910370203
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1991
数据来源: WILEY
|
| 3. |
A Note on Pavelka's Fuzzy Logic |
| |
Mathematical Logic Quarterly,
Volume 37,
Issue 2‐4,
1991,
Page 39-40
Esko Turunen,
Preview
|
PDF (107KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19910370204
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1991
数据来源: WILEY
|
| 4. |
A Proof of the Characterization Theorem for Consequence Relations |
| |
Mathematical Logic Quarterly,
Volume 37,
Issue 2‐4,
1991,
Page 41-43
Zvonimir Šikić,
Preview
|
PDF (139KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19910370205
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1991
数据来源: WILEY
|
| 5. |
Second Order Definability Via enumerations |
| |
Mathematical Logic Quarterly,
Volume 37,
Issue 2‐4,
1991,
Page 45-54
Ivan N. Soskov,
Preview
|
PDF (563KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19910370206
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1991
数据来源: WILEY
|
| 6. |
On Pairs and Tuples |
| |
Mathematical Logic Quarterly,
Volume 37,
Issue 2‐4,
1991,
Page 55-56
Arnold Oberschelp,
Preview
|
PDF (124KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19910370207
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1991
数据来源: WILEY
|
| 7. |
Generalized Construction Problems |
| |
Mathematical Logic Quarterly,
Volume 37,
Issue 2‐4,
1991,
Page 57-62
Peter Schreiber,
Preview
|
PDF (404KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19910370208
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1991
数据来源: WILEY
|
| 8. |
A Note on the Proof Method for Constructive Falsity |
| |
Mathematical Logic Quarterly,
Volume 37,
Issue 2‐4,
1991,
Page 63-64
Kazuyuki Tanka,
Preview
|
PDF (82KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19910370209
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1991
数据来源: WILEY
|
| 9. |
Masthead |
| |
Mathematical Logic Quarterly,
Volume 37,
Issue 2‐4,
1991,
Page -
Preview
|
PDF (30KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19910370201
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1991
数据来源: WILEY
|
首页
Volume 37 issue 2‐4