한국과학기술원 도서관

메뉴

서지주요정보
Free logic selected essays / [electronic resource]
서명 / 저자	Free logic [electronic resource] : selected essays / Karel Lambert.
발행사항	Cambridge, UK ; New York : Cambridge University Press, 2003.
Online Access	https://ebookcentral.proquest.com/lib/kaist/detail.action?docID=202397 URL

서지기타정보
청구기호	BC129 .L34 2003
형태사항	xii, 191 p. : ill.
언어	English
서지주기	Includes bibliographical references.
주제	Free logic.

QR CODE

전체보기

Dependence logic : a new approach to independence friendly logic Väänänen, J BC128 .v111 2007
Dependence logic a new approach to independence friendly logic / [electronic resource] Väänänen, J BC128 .V33 2007eb
Free logic selected essays / [electronic resource] Lambert, Karel BC129 .L34 2003
Two-valued iterative systems of mathematical logic. (am-5) [electronic resource] Emil L. Post BC135
The logic book Bergmann, Merrie BC135 .B435 2014

메뉴