Completeness Results for Lambek Syntactic Calculus
- 作者Wojciech Buszkowski
- 卷第32卷
- 印刷ISSN0942-5616
- 电子ISSN1521-3870
- 文件大小1038.04KB
- 发表时间1986
- DOI10.1002/malq.19860320104
- 页码13-28
同作者推荐
Positively Curved Bilinear FormsK. S. Sarkaria and S. M. Zoltek · Proceedings of the American Mathematical Society · 1986
Book reviewK. S. Sarkaria · 1999
A topological paradox of motionK. S. Sarkaria · 2001
Bénard PolygonsG. A. El; K. S. Sarkaria · 2001
Tverberg’s theorem via number fieldsK. S. Sarkaria · 1992
On Neighbourly TriangulationsK. S. Sarkaria · Transactions of the American Mathematical Society · 1983
Taylor's Formula via DeterminantsK. S. Sarkaria · The College Mathematics Journal · 2001