| 1. |
Lambda‐Calculus Models and Extensionality |
| |
Mathematical Logic Quarterly,
Volume 26,
Issue 19‐21,
1980,
Page 289-310
R. Hindley,
G. Longo,
Preview
|
PDF (1275KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19800261902
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1980
数据来源: WILEY
|
| 2. |
[Russian Text Ignored.] |
| |
Mathematical Logic Quarterly,
Volume 26,
Issue 19‐21,
1980,
Page 311-326
Preview
|
PDF (712KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19800261903
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1980
数据来源: WILEY
|
| 3. |
Universal First‐Order Definability in Modal Logic |
| |
Mathematical Logic Quarterly,
Volume 26,
Issue 19‐21,
1980,
Page 327-330
R. E. Jennings,
D. K. Johnston,
P. K. Schotch,
Preview
|
PDF (197KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19800261904
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1980
数据来源: WILEY
|
| 4. |
A Preservation Theorem for Tense Logic |
| |
Mathematical Logic Quarterly,
Volume 26,
Issue 19‐21,
1980,
Page 331-335
Hirokazu Nishimura,
Preview
|
PDF (262KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19800261905
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1980
数据来源: WILEY
|
| 5. |
Masthead |
| |
Mathematical Logic Quarterly,
Volume 26,
Issue 19‐21,
1980,
Page -
Preview
|
PDF (32KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19800261901
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1980
数据来源: WILEY
|
首页
