서지주요정보
What logics mean : from proof theory to model-theoretic semantics
서명 / 저자 What logics mean : from proof theory to model-theoretic semantics / James W. Garson.
저자명 Garson, James W
발행사항 New York : Cambridge University Press, 2013.

소장정보

등록번호

5117159

소장위치/청구기호

문지 보존서고

BC71 .G337 2013

휴대폰 전송

도서상태

이용가능(대출불가)

사유안내

반납예정일

리뷰정보

서지기타정보

서지기타정보
청구기호 BC71 .G337 2013
형태사항 xv, 285 p. ; 25 cm.
언어 English
서지주기 Includes bibliographical references (p. 275-279) and index.
주제 Logic.
Semantics.
Logic, Symbolic and mathematical.
LCCN 2013013374
ISBN 9781107039100 (hbk.) 9781107611962
QR CODE

책소개

전체보기

목차

전체보기

이 주제의 인기대출도서