罗马人孔查科夫;卡斯滕·卢茨;弗兰克·沃尔特;迈克尔·扎克哈里亚舍夫 时间化表格。 (英语) Zbl 1050.03015号 螺柱日志。 76,第1期,91-134(2004). 审核人:贾科莫·博纳诺(戴维斯) MSC公司:03B44号 03B25号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{R.Kontchakov}等人,研究日志。76,第1号,91--134(2004;Zbl 1050.03015) 全文: 内政部
伯恩哈德·海尼曼 离散下降集合链的模态逻辑。 (英语) Zbl 1054.03016号 螺柱日志。 76,第1号,67-90(2004). 审核人:安娜·戈莫利安斯卡(比亚莱斯托克) MSC公司:03B45号 03B44号 03B42号 03B25号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{B.海涅曼},Stud.Log。76,第1号,67--90(2004;Zbl 1054.03016) 全文: 内政部
卢·高布尔 组合逻辑。 (英语) Zbl 1054.03019号 螺柱日志。 76,第1期,17-66页(2004年). 审核人:马丁·邦德(伍伦贡) MSC公司:03B47号 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{L.Goble},螺柱日志。76,编号1,17--66(2004;Zbl 1054.03019) 全文: 内政部
格热戈兹·马林诺夫斯基 推论的内涵。 (英语) Zbl 1045.03011号 螺柱日志。 76,第1期,第3-16页(2004年).MSC公司:03B22号 03B45号 03B50 PDF格式BibTeX公司 XML格式引用 \textit{G.马林诺夫斯基},Stud.Log。76,第1号,第3--16号(2004;Zbl 1045.03011) 全文: 内政部