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

Proof theory

저자: Gaisi Takeuti
출판사: Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co., 1975.
시리즈: Studies in logic and the foundations of mathematics, v. 81.
판/형식:   Print book : 영어모든 판과 형식 보기
데이터베이스:WorldCat
평가:

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

주제
다음과 같습니다:

 

온라인으로 문서 찾기

이 항목에 대한 링크

도서관에서 사본 찾기

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

상세정보

자료 유형: 인터넷 자료
문서 형식: 책, 인터넷 자원
모든 저자 / 참여자: Gaisi Takeuti
ISBN: 0444104925 9780444104922 0720422000 9780720422009 0720422779 9780720422771
OCLC 번호: 1531974
메모: Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo in the summer of 1968.
Includes index.
설명: vii, 372 pages ; 23 cm.
일련 제목: Studies in logic and the foundations of mathematics, v. 81.
책임: Gaisi Takeuti.

리뷰

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

태그

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

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

링크된 데이터


Primary Entity

<http://www.worldcat.org/oclc/1531974> # Proof theory
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "1531974" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2406532#Place/amsterdam> ; # Amsterdam
    schema:about <http://experiment.worldcat.org/entity/work/data/2406532#Topic/preuve_theorie_de_la> ; # Preuve, Théorie de la
    schema:about <http://experiment.worldcat.org/entity/work/data/2406532#Topic/proof_theory> ; # Proof theory
    schema:about <http://experiment.worldcat.org/entity/work/data/2406532#Topic/calcul_predicat> ; # calcul prédicat
    schema:about <http://experiment.worldcat.org/entity/work/data/2406532#Topic/arithmetique_peano> ; # ARITHMETIQUE PEANO
    schema:about <http://experiment.worldcat.org/entity/work/data/2406532#Topic/preuve_conformite> ; # PREUVE CONFORMITE
    schema:about <http://experiment.worldcat.org/entity/work/data/2406532#Topic/bewijstheorie> ; # Bewijstheorie
    schema:about <http://id.worldcat.org/fast/1078942> ; # Proof theory
    schema:about <http://dewey.info/class/511.3/e19/> ;
    schema:bookFormat bgn:PrintBook ;
    schema:creator <http://viaf.org/viaf/64133112> ; # Gaisi Takeuti
    schema:datePublished "1975" ;
    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"@en ;
    schema:productID "1531974" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/1531974#PublicationEvent/amsterdam_north_holland_pub_co_new_york_american_elsevier_pub_co_1975> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/2406532#Agent/american_elsevier_pub_co> ; # American Elsevier Pub. Co.
    schema:publisher <http://experiment.worldcat.org/entity/work/data/2406532#Agent/north_holland_pub_co> ; # North-Holland Pub. Co.
    schema:url <http://www.gbv.de/dms/hbz/toc/ht001229779.pdf> ;
    schema:url <http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=1908762&custom_att_2=simple_viewer> ;
    schema:workExample <http://worldcat.org/isbn/9780720422009> ;
    schema:workExample <http://worldcat.org/isbn/9780720422771> ;
    schema:workExample <http://worldcat.org/isbn/9780444104922> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1531974> ;
    .


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/american_elsevier_pub_co> # American Elsevier Pub. Co.
    a bgn:Agent ;
    schema:name "American Elsevier Pub. Co." ;
    .

<http://experiment.worldcat.org/entity/work/data/2406532#Agent/north_holland_pub_co> # North-Holland Pub. Co.
    a bgn:Agent ;
    schema:name "North-Holland Pub. Co." ;
    .

<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/1531974> ; # Proof theory
    schema:name "Studies in logic and the foundations of mathematics ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/2406532#Topic/arithmetique_peano> # ARITHMETIQUE PEANO
    a schema:Intangible ;
    schema:name "ARITHMETIQUE PEANO"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2406532#Topic/calcul_predicat> # calcul prédicat
    a schema:Intangible ;
    schema:name "calcul prédicat"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2406532#Topic/preuve_conformite> # PREUVE CONFORMITE
    a schema:Intangible ;
    schema:name "PREUVE CONFORMITE"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2406532#Topic/preuve_theorie_de_la> # Preuve, Théorie de la
    a schema:Intangible ;
    schema:name "Preuve, Théorie de la"@en ;
    schema:name "Preuve, Théorie de la"@fr ;
    .

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

<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/9780444104922>
    a schema:ProductModel ;
    schema:description "American Elsevier" ;
    schema:isbn "0444104925" ;
    schema:isbn "9780444104922" ;
    .

<http://worldcat.org/isbn/9780720422009>
    a schema:ProductModel ;
    schema:isbn "0720422000" ;
    schema:isbn "9780720422009" ;
    .

<http://worldcat.org/isbn/9780720422771>
    a schema:ProductModel ;
    schema:isbn "0720422779" ;
    schema:isbn "9780720422771" ;
    .


Content-negotiable representations

윈도우 닫기

WorldCat에 로그인 하십시오 

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