著者典拠情報

標目形：
Barker-Plummer, Dave
属性：
Personal
日付：
1960
から見よ参照形：
Plummer, Dave Barker-
注記：
Language, proof, and logic, 1999: CIP t.p. (Dave Barker-Plummer)
Words, proofs, and diagrams, 2002: ECIP t.p. (Dave Barker-Plummer) data view (b. Oct. 24, 1960)
SRC:論理学の基礎と演習 / ジョン・バーワイズ, ジョン・エチメンディ著 ; 大沢秀介 [ほか] 訳 (慶應義塾大学出版会, 2006.9)
EDSRC:Language proof and logic / Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu(CSLI Publications, c2002)
著者典拠ID：
DA15617478


1.

図書
図書
1. 論理学の基礎と演習
ジョン・バーワイズ, ジョン・エチメンディ著 ; 大沢秀介 [ほか] 訳
出版情報: 東京 : 慶應義塾大学出版会, 2006.9
所蔵情報: loading…
2.

図書
図書
2. Language proof and logic (: pbk)
Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu
出版情報: Stanford, Calif. : CSLI Publications, c2002
所蔵情報: loading…