HOME
検索トップページ
ブックマーク一覧
ヘルプ
著者名典拠情報
検索条件
統一標目形
統一標目形(カナ)
Etchemendy, John, 1952-
図書一覧
該当件数:
3件
ページ:
1
 
ページ選択
ページ解除
全件選択
全件解除
書誌事項
1
The language of first-order logic : including the IBM-compatible Windows version of Tarski's world 4.0 / Jon Barwise & John Etchemendy. -- 3rd ed., rev. and expanded. -- Center for the Study of Language and Information, 1992. -- (CSLI lecture notes ; no. 34).
2
Language proof and logic / Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu ; : pbk. -- CSLI Publications, 2002.
3
論理学の基礎と演習 / ジョン・バーワイズ, ジョン・エチメンディ著 ; 大沢秀介 [ほか] 訳. -- 慶應義塾大学出版会, 2006.
 
ページ選択
ページ解除
全件選択
全件解除
書誌事項
雑誌一覧
該当件数:
0件
ページ:
--
検索条件にヒットしていません。
雑誌巻号一覧
該当件数:
0件
ページ:
--
検索条件にヒットしていません。