서지주요정보
Dependence logic : a new approach to independence friendly logic
서명 / 저자 Dependence logic : a new approach to independence friendly logic / Jouko Väänänen.
저자명 Väänänen, J
발행사항 Cambridge : Cambridge University Press, 2007.
총서명 London Mathematical Society student texts ; 70

소장정보

등록번호

5061689

소장위치/청구기호

문지 보존서고

BC128 .v111 2007

휴대폰 전송

도서상태

이용가능(대출불가)

사유안내

반납예정일

리뷰정보

서지기타정보

서지기타정보
청구기호 BC128 .v111 2007
형태사항 ix, 225 p. : ill. ; 24 cm.
언어 English
서지주기 Includes bibliographical references and index.
주제 First-order logic.
ISBN 9780521876599 0521876591 9780521700153 0521700159
QR CODE

책소개

전체보기

목차

전체보기

이 주제의 인기대출도서