| 1. |
Numeration Models of λ‐Calculus |
| |
Mathematical Logic Quarterly,
Volume 31,
Issue 14‐18,
1985,
Page 209-220
Akira Kanda,
Preview
|
PDF (644KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19850311402
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1985
数据来源: WILEY
|
| 2. |
A Generalization of a Theorem of H. Friedman |
| |
Mathematical Logic Quarterly,
Volume 31,
Issue 14‐18,
1985,
Page 221-225
C. Dimitracopoulos,
Preview
|
PDF (254KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19850311403
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1985
数据来源: WILEY
|
| 3. |
A Language for Category Theory in which Natural Equivalence Implies Elementary Equivalence of Models |
| |
Mathematical Logic Quarterly,
Volume 31,
Issue 14‐18,
1985,
Page 227-234
A. Preller,
Preview
|
PDF (472KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19850311404
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1985
数据来源: WILEY
|
| 4. |
A Completeness Theorem for the Lambek Calculus of Syntactic Categories |
| |
Mathematical Logic Quarterly,
Volume 31,
Issue 14‐18,
1985,
Page 235-241
Kosta Došen,
Preview
|
PDF (348KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19850311405
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1985
数据来源: WILEY
|
| 5. |
On Some Subsystems of Dummett's LC |
| |
Mathematical Logic Quarterly,
Volume 31,
Issue 14‐18,
1985,
Page 243-247
Branislav R. Boričić,
Preview
|
PDF (226KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19850311406
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1985
数据来源: WILEY
|
| 6. |
Quantifier Elimination for Distributive Lattices and Measure Algebras |
| |
Mathematical Logic Quarterly,
Volume 31,
Issue 14‐18,
1985,
Page 249-261
Volker Weispfenning,
Preview
|
PDF (722KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19850311407
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1985
数据来源: WILEY
|
| 7. |
[Russian Text Ignored] |
| |
Mathematical Logic Quarterly,
Volume 31,
Issue 14‐18,
1985,
Page 263-274
Preview
|
PDF (603KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19850311408
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1985
数据来源: WILEY
|
| 8. |
Some Algebraic Structures Determined by Closure Operators |
| |
Mathematical Logic Quarterly,
Volume 31,
Issue 14‐18,
1985,
Page 275-278
Ventura Verdú,
Preview
|
PDF (256KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19850311409
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1985
数据来源: WILEY
|
| 9. |
A Note on Conjectures of Calude About the Topological Size of Sets of Partial Recursive Functions |
| |
Mathematical Logic Quarterly,
Volume 31,
Issue 14‐18,
1985,
Page 279-280
Gisela Schäfer,
Preview
|
PDF (133KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19850311410
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1985
数据来源: WILEY
|
| 10. |
On Sparse Complete Sets |
| |
Mathematical Logic Quarterly,
Volume 31,
Issue 14‐18,
1985,
Page 281-287
Gerd Wechsung,
Preview
|
PDF (401KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19850311411
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1985
数据来源: WILEY
|
首页
