http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
https://www.riss.kr/link?id=M12268862
- 저자
-
발행사항
New York : Springer, c2010
-
발행연도
2010
-
작성언어
영어
- 주제어
-
DDC
511.3 판사항(22)
-
ISBN
9781441906144 (hbk. : acid-free paper)
1441906142 (hbk. : acid-free paper)
9781441906151
1441906150 -
자료형태
단행본(다권본)
-
발행국(도시)
New York(State)
-
서명/저자사항
A course in mathematical logic for mathematicians / Yu. I. Manin ; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin.
-
판사항
2nd ed
-
형태사항
xvii, 384 p. : ill. ; 24 cm.
-
총서사항
Graduate texts in mathematics ; 53
-
일반주기명
The first edition was published in 1977 with the title: A course in mathematical logic.
Includes bibliographical references (p. [379]-380) and index.
Provability: I. Introduction to formal languages ; II. Truth and deducibility ; III. The continuum problem and forcing ; IV. The continuum problem and constructible sets -- Computability: V. Recursive functions and Church’s thesis ; VI. Diophantine sets and algorithmic undecidability -- Provability and computability: VII. Gödel’s incompleteness theorem ; VIII. Recursive groups ; IX. Constructive universe and computation -- Model theory: X. Model theory. -
소장기관
- 건국대학교 상허기념도서관
- 국립중앙도서관
- 서울대학교 중앙도서관
- 성균관대학교 삼성학술정보관
- 연세대학교 학술문화처 도서관
- 한국과학기술원(KAIST) 학술문화관
- 건국대학교 상허기념도서관
-
0
상세조회 -
0
다운로드
부가정보
온라인 도서 정보
온라인 서점 구매
| 서점명 | 서명 | 판매현황 | 종이책 | 전자책 구매링크 | ||
|---|---|---|---|---|---|---|
| 정가 | 판매가(할인율) | 포인트(포인트몰) | ||||
|
A Course in Mathematical Logic for Mathematicians |
판매중 | 118,040원 | 106,230원 (10%)
|
5,320포인트 (5%) | |
- 포인트 적립은 해당 온라인 서점 회원인 경우만 해당됩니다.
- 상기 할인율 및 적립포인트는 온라인 서점에서 제공하는 정보와 일치하지 않을 수 있습니다.
- RISS 서비스에서는 해당 온라인 서점에서 구매한 상품에 대하여 보증하거나 별도의 책임을 지지 않습니다.
분석정보
이 자료와 함께 이용한 RISS 자료
나만을 위한 추천자료
