One-and-a-halfth-Order Logic (vol 18, pg 521, 2008)

被引：0

作者：

Gabbay, Murdoch J.

Mathijssen, Aad

机构：

来源：

JOURNAL OF LOGIC AND COMPUTATION | 2012年 / 22卷 / 05期

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：1255 / 1255

页数：1

相关论文

共 1 条

[1] One-and-a-halfth-order logic [J].

Gabbay, Murdoch J. ;

Mathijssen, Aad .

JOURNAL OF LOGIC AND COMPUTATION, 2008, 18 (04) :521-562