서지주요정보
Labelled deductive systems
서명 / 저자 Labelled deductive systems / Dov M. Gabbay.
저자명 Gabbay, Dov M
발행사항 Oxford : Clarendon Press ; New York : Oxford University Press, 1996-.
총서명 Oxford logic guides ; 33 Oxford science publications

소장정보

등록번호

6009966

소장위치/청구기호

문지 보존서고

BC71 .G3 v. 1

휴대폰 전송

도서상태

이용가능(대출불가)

사유안내

반납예정일

리뷰정보

서지기타정보

서지기타정보
청구기호 BC71 .G3
형태사항 v. <1 > : ill. ; 24 cm.
언어 English
서지주기 Includes bibliographical references and index.
주제 Logic.
LCCN 96025507
ISBN 0198538332 (v. 1)
QR CODE

책소개

전체보기

목차

전체보기

이 주제의 인기대출도서