컨텐츠로 이동
Formally self-referential propositions for cut free classical analysis and related system 해당 항목을 미리보기
닫기해당 항목을 미리보기
확인중입니다…

Formally self-referential propositions for cut free classical analysis and related system

저자: G Kreisel; G Takeuti
출판사: Warzawa Państwowe Wydawnistwo Naukowe 1974
시리즈: Dissertationes mathematicae, 118; Dissertationes mathematicae, 118
판/형식:   인쇄본 : 영어모든 판과 형식 보기
평가:

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

 

도서관에서 사본 찾기

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

상세정보

문서 유형 도서
모든 저자 / 참여자: G Kreisel; G Takeuti
OCLC 번호: 246216180
설명: 55 S
일련 제목: Dissertationes mathematicae, 118; Dissertationes mathematicae, 118
책임: G. Kreisel; G. Takeuti

리뷰

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

태그

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

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

링크된 데이터


Primary Entity

<http://www.worldcat.org/oclc/246216180> # Formally self-referential propositions for cut free classical analysis and related system
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "246216180" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2210419#Place/warzawa> ; # Warzawa
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/pl> ;
    schema:author <http://experiment.worldcat.org/entity/work/data/2210419#Person/takeuti_g> ; # G. Takeuti
    schema:bookFormat bgn:PrintBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/2210419#Person/kreisel_g> ; # G. Kreisel
    schema:datePublished "1974" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/2210419> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2210419#Series/dissertationes_mathematicae> ; # Dissertationes mathematicae ;
    schema:name "Formally self-referential propositions for cut free classical analysis and related system" ;
    schema:productID "246216180" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/246216180#PublicationEvent/warzawapanstwowe_wydawnistwo_naukowe1974> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/2210419#Agent/panstwowe_wydawnistwo_naukowe> ; # Państwowe Wydawnistwo Naukowe
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/246216180> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/2210419#Agent/panstwowe_wydawnistwo_naukowe> # Państwowe Wydawnistwo Naukowe
    a bgn:Agent ;
    schema:name "Państwowe Wydawnistwo Naukowe" ;
    .

<http://experiment.worldcat.org/entity/work/data/2210419#Person/kreisel_g> # G. Kreisel
    a schema:Person ;
    schema:familyName "Kreisel" ;
    schema:givenName "G." ;
    schema:name "G. Kreisel" ;
    .

<http://experiment.worldcat.org/entity/work/data/2210419#Person/takeuti_g> # G. Takeuti
    a schema:Person ;
    schema:familyName "Takeuti" ;
    schema:givenName "G." ;
    schema:name "G. Takeuti" ;
    .

<http://experiment.worldcat.org/entity/work/data/2210419#Series/dissertationes_mathematicae> # Dissertationes mathematicae ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/246216180> ; # Formally self-referential propositions for cut free classical analysis and related system
    schema:name "Dissertationes mathematicae ;" ;
    schema:name "Dissertationes mathematicae" ;
    .

<http://www.worldcat.org/title/-/oclc/246216180>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/246216180> ; # Formally self-referential propositions for cut free classical analysis and related system
    schema:dateModified "2017-09-14" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

윈도우 닫기

WorldCat에 로그인 하십시오 

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