서브메뉴
검색
The language of first-order logic : including the Macintosh version of Tarski's world 4.0
The language of first-order logic : including the Macintosh version of Tarski's world 4.0
상세정보
- 자료유형
- 단행본
- ISBN
- 0937073997
- 청구기호
- 170 B296`l
- 저자명
- Barwise, Jon.
- 서명/저자
- The language of first-order logic : including the Macintosh version of Tarskis world 4.0 / Jon Barwise , John Etchemendy.
- 발행사항
- Stanford, CA : Center for the Study of Language and Information, 1993.
- 형태사항
- xiv, 313 p. ; 24 cm.
- 서지주기
- Includes indexes.
- 기타저자
- Etchemendy, John
- 가격
- 25000
- Control Number
- kjul:60019747
MARC
008030805s1993 cau 00 0 eng■020 ▼a0937073997
■090 ▼a170▼bB296`l
■1001 ▼aBarwise, Jon.
■24510▼aThe language of first-order logic ▼bincluding the Macintosh version of Tarski's world 4.0▼dJon Barwise▼eJohn Etchemendy.
■260 ▼aStanford, CA▼bCenter for the Study of Language and Information▼c1993.
■300 ▼axiv, 313 p.▼c24 cm.
■504 ▼aIncludes indexes.
■7001 ▼aEtchemendy, John
■9500 ▼b25000
