서지주요정보
Independence-friendly logic : a game-theoretic approach
서명 / 저자 Independence-friendly logic : a game-theoretic approach / Allen L. Mann, Gabriel Sandu, Merlijn Sevenster.
저자명 Mann, Allen L;Sandu, Gabriel.;Sevenster, Merlijn.
발행사항 Cambridge, UK ; New York : Cambridge University Press, 2011.
총서명 London Mathematical Society lecture note series ; 386

소장정보

등록번호

MS02831

소장위치/청구기호

수학도서관

BC128 .M36 2011

휴대폰 전송

도서상태

이용가능(대출불가)

사유안내

반납예정일

리뷰정보

서지기타정보

서지기타정보
청구기호 BC128 .M36 2011
형태사항 vi, 208 p. : ill. ; 23 cm.
언어 English
서지주기 Includes bibliographical references (p. [198]-202) and index.
주제 First-order logic.
Game theory.
LCCN 2011283706
ISBN 9780521149341 (pbk.) 0521149347 (pbk.)
QR CODE

책소개

전체보기

목차

전체보기

이 주제의 인기대출도서