컨텐츠로 이동
Memoirs of a proof theorist : Gödel and other logicians 해당 항목을 미리보기
닫기해당 항목을 미리보기
확인중입니다…

Memoirs of a proof theorist : Gödel and other logicians

저자: Gaisi Takeuti
출판사: Singapore ; River Edge, NJ : World Scientific, ©2003.
판/형식:   Print book : 영어 : Rev. ed모든 판과 형식 보기
데이터베이스:WorldCat
요약:

This volume is a translation of the book "Godel", written in Japanese by Gaisi Takeuti, a distinguished proof theorist. The core of the text is a memoir of K. Godel, Takeuti's personal recollections,  더 읽기…

평가:

(아무런 평가가 없습니다.) 0 리뷰와 함께 - 첫번째로 올려주세요.

주제
다음과 같습니다:

 

도서관에서 사본 찾기

&AllPage.SpinnerRetrieving; 해당항목을 보유하고 있는 도서관을 찾는 중

상세정보

명시된 사람: Kurt Gödel; Kurt Gödel; Kurt Gödel; Kurt Gödel
문서 형식:
모든 저자 / 참여자: Gaisi Takeuti
ISBN: 9812382798 9789812382795
OCLC 번호: 52400536
메모: Originally published as: Gēderu : Kurt Gödel. Tokyo : Nippon Hyoron Sha, 1986.
Translated from Japanese.
설명: xviii, 135 pages : illustrations ; 24 cm
내용: On Godel; Work of Paul Bernays and Kurt Godel; Hilbert and Godel; Short Biographies of Logicians; Set Theory and Related Topics; From Hilbert to Godel; Axioms of Arithmetic and Consistency -- The Second Problem of Hilbert; A Report from Godel '96; Having Read " Godel Remembered"; A Tribute to the Memory of Professor Godel'; Appendices: On Godel's Continuum Hypothesis; Birth of Second Order Proof Theory by the Fundamental Conjecture on GLC.
다른 제목 Gēderu.
Gödel and other logicians
책임: [Gaisi Takeuti ; translated by] Mariko Yasugi, Nicholas Passell.

리뷰

사용자-기여 리뷰
GoodReads 리뷰 가져오는 중…
DOGObooks 리뷰를 가지고 오는 중…

태그

첫번째 되기
요청하신 것을 확인하기

이 항목을 이미 요청하셨을 수도 있습니다. 만약 이 요청을 계속해서 진행하시려면 Ok을 선택하세요.

링크된 데이터


<http://www.worldcat.org/oclc/52400536>
bgn:translationOfWork
library:oclcnum"52400536"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:alternateName"Gödel and other logicians"@en
schema:bookEdition"Rev. ed."
schema:copyrightYear"2003"
schema:creator
schema:datePublished"2003"
schema:exampleOfWork
schema:inLanguage"en"
schema:name"Memoirs of a proof theorist : Gödel and other logicians"@en
schema:publication
schema:publisher
schema:workExample
wdrs:describedby

Content-negotiable representations

윈도우 닫기

WorldCat에 로그인 하십시오 

계정이 없으세요? 아주 간단한 절차를 통하여 무료 계정을 만드실 수 있습니다.