컨텐츠로 이동
Proof theory 해당 항목을 미리보기
닫기해당 항목을 미리보기
확인중입니다…

Proof theory

저자: Gaisi Takeuti
출판사: Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributor for the U.S.A. and Canada, Elsevier Science Pub. Co., 1987
시리즈: Studies in logic and the foundations of mathematics, vol. 81
판/형식:   Print book : 영어 : 2. ed모든 판과 형식 보기
데이터베이스:WorldCat
평가:

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

주제
다음과 같습니다:

 

도서관에서 사본 찾기

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

상세정보

문서 형식:
모든 저자 / 참여자: Gaisi Takeuti
ISBN: 0444879439 9780444879431
OCLC 번호: 476872494
메모: Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo, 1968
설명: 490 s. : ill.
일련 제목: Studies in logic and the foundations of mathematics, vol. 81
책임: Gaisi Takeuti

리뷰

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

태그

첫번째 되기

유사 항목

요청하신 것을 확인하기

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

링크된 데이터


Primary Entity

<http://www.worldcat.org/oclc/476872494> # Proof theory
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "476872494" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2406532#Place/amsterdam> ; # Amsterdam
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2406532#Place/new_york_n_y_u_s_a> ; # New York, N.Y., U.S.A.
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   schema:about <http://id.loc.gov/authorities/subjects/sh85107437> ; # Proof theory
   schema:about <http://dewey.info/class/511.3/e19/> ;
   schema:about <http://id.worldcat.org/fast/1078942> ; # Proof theory
   schema:about <http://experiment.worldcat.org/entity/work/data/2406532#Thing/mathematics> ; # Mathematics
   schema:bookEdition "2. ed." ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/64133112> ; # Gaisi Takeuti
   schema:datePublished "1987" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/2406532> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2406532#Series/studies_in_logic_and_the_foundations_of_mathematics> ; # Studies in logic and the foundations of mathematics ;
   schema:name "Proof theory" ;
   schema:productID "476872494" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/476872494#PublicationEvent/amsterdam_new_york_north_holland_new_york_n_y_u_s_a_sole_distributor_for_the_u_s_a_and_canada_elsevier_science_pub_co_1987> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/2406532#Agent/sole_distributor_for_the_u_s_a_and_canada_elsevier_science_pub_co> ; # Sole distributor for the U.S.A. and Canada, Elsevier Science Pub. Co.
   schema:publisher <http://experiment.worldcat.org/entity/work/data/2406532#Agent/north_holland> ; # North-Holland
   schema:workExample <http://worldcat.org/isbn/9780444879431> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/476872494> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/2406532#Agent/sole_distributor_for_the_u_s_a_and_canada_elsevier_science_pub_co> # Sole distributor for the U.S.A. and Canada, Elsevier Science Pub. Co.
    a bgn:Agent ;
   schema:name "Sole distributor for the U.S.A. and Canada, Elsevier Science Pub. Co." ;
    .

<http://experiment.worldcat.org/entity/work/data/2406532#Place/new_york_n_y_u_s_a> # New York, N.Y., U.S.A.
    a schema:Place ;
   schema:name "New York, N.Y., U.S.A." ;
    .

<http://experiment.worldcat.org/entity/work/data/2406532#Series/studies_in_logic_and_the_foundations_of_mathematics> # Studies in logic and the foundations of mathematics ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/476872494> ; # Proof theory
   schema:name "Studies in logic and the foundations of mathematics ;" ;
    .

<http://id.loc.gov/authorities/subjects/sh85107437> # Proof theory
    a schema:Intangible ;
   schema:name "Proof theory" ;
    .

<http://id.worldcat.org/fast/1078942> # Proof theory
    a schema:Intangible ;
   schema:name "Proof theory" ;
    .

<http://viaf.org/viaf/64133112> # Gaisi Takeuti
    a schema:Person ;
   schema:birthDate "1926" ;
   schema:familyName "Takeuti" ;
   schema:givenName "Gaisi" ;
   schema:name "Gaisi Takeuti" ;
    .

<http://worldcat.org/isbn/9780444879431>
    a schema:ProductModel ;
   schema:isbn "0444879439" ;
   schema:isbn "9780444879431" ;
    .

<http://www.worldcat.org/title/-/oclc/476872494#PublicationEvent/amsterdam_new_york_north_holland_new_york_n_y_u_s_a_sole_distributor_for_the_u_s_a_and_canada_elsevier_science_pub_co_1987>
    a schema:PublicationEvent ;
   schema:location <http://experiment.worldcat.org/entity/work/data/2406532#Place/new_york_n_y_u_s_a> ; # New York, N.Y., U.S.A.
   schema:location <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:location <http://experiment.worldcat.org/entity/work/data/2406532#Place/amsterdam> ; # Amsterdam
   schema:organizer <http://experiment.worldcat.org/entity/work/data/2406532#Agent/sole_distributor_for_the_u_s_a_and_canada_elsevier_science_pub_co> ; # Sole distributor for the U.S.A. and Canada, Elsevier Science Pub. Co.
   schema:organizer <http://experiment.worldcat.org/entity/work/data/2406532#Agent/north_holland> ; # North-Holland
   schema:startDate "1987" ;
    .


Content-negotiable representations

윈도우 닫기

WorldCat에 로그인 하십시오 

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