HOME > 상세정보

상세정보

Language in action : categories, lambdas, and dynamic logic 1st MIT Press ed

Language in action : categories, lambdas, and dynamic logic 1st MIT Press ed (3회 대출)

자료유형
단행본
개인저자
Benthem, J. F. A. K. van, 1949-
서명 / 저자사항
Language in action : categories, lambdas, and dynamic logic / Johan van Benthem.
판사항
1st MIT Press ed.
발행사항
Cambridge, Mass. :   MIT Press,   1995.  
형태사항
x, 365p. ; 23 cm.
ISBN
0262720248 (pbk. : alk. paper)
일반주기
Originally published: Amsterdam ; New York : North-Holland, 1991. With new Addenda.  
서지주기
Includes bibliographical references (p. ) and index.
일반주제명
Language and logic. Categorial grammar. Lambda calculus. Logic, Symbolic and mathematical. Mathematical linguistics.
000 01002camuuu200301 a 4500
001 000000233570
005 19960530151603.0
008 950331r19951991mau b 001 0 eng
010 ▼a 95015992
020 ▼a 0262720248 (pbk. : alk. paper)
040 ▼a DLC ▼c DLC
049 ▼a ACCL
050 0 0 ▼a P39.B46 1995
082 0 0 ▼a 401/.43 ▼2 20
090 ▼a 401.43 ▼b B476L
100 1 ▼a Benthem, J. F. A. K. van, ▼d 1949-
245 1 0 ▼a Language in action : ▼b categories, lambdas, and dynamic logic / ▼c Johan van Benthem.
250 ▼a 1st MIT Press ed.
260 ▼a Cambridge, Mass. : ▼b MIT Press, ▼c 1995.
300 ▼a x, 365p. ; ▼c 23 cm.
500 ▼a Originally published: Amsterdam ; New York : North-Holland, 1991. With new Addenda.
504 ▼a Includes bibliographical references (p. ) and index.
650 0 ▼a Language and logic.
650 0 ▼a Categorial grammar.
650 0 ▼a Lambda calculus.
650 0 ▼a Logic, Symbolic and mathematical.
650 0 ▼a Mathematical linguistics.

소장정보

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 중앙도서관/서고6층/ 청구기호 401.43 B476L 등록번호 111060092 도서상태 대출가능 반납예정일 예약 서비스 B M

관련분야 신착자료