서지주요정보
Dependence logic a new approach to independence friendly logic / [electronic resource]
서명 / 저자 Dependence logic [electronic resource] : a new approach to independence friendly logic / Jouko Väänänen.
저자명 Väänänen, J
단체명 Väänänen, J
발행사항 Cambridge : Cambridge University Press, 2007.
총서명 London Mathematical Society student texts ; 70
Online Access http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=198885URL

서지기타정보

서지기타정보
청구기호 BC128 .V33 2007eb
형태사항 ix, 225 p. : ill. ; 24 cm.
언어 English
서지주기 Includes bibliographical references and index.
주제 First-order logic.
보유판 및 특별호 저록 Original 9780521876599 0521876591 9780521700153 0521700159 , 132288227
ISBN 9780511286858 (electronic bk.) 0511286856 (electronic bk.)
QR CODE

책소개

전체보기

목차

전체보기

이 주제의 인기대출도서