語系
Rose, Harvey Ernest.
概要
作品: | 1 作品在 1 項出版品 1 種語言 |
---|
書目資訊
Logic colloquium '73 = proceedings of the Logic Colloquium, Bristol, July 1973 /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Association for Symbolic Logic.; Rose, Harvey Ernest.; Shepherdson, J. C.
(書目-語言資料,印刷品)