컨텐츠로 이동
Proof theory the first step into impredicativity 해당 항목을 미리보기
닫기해당 항목을 미리보기

Proof theory the first step into impredicativity

저자: Wolfram Pohlers
출판사: Berlin [u.a.] Springer 2009
시리즈: Universitext
판/형식:   인쇄본 : 영어모든 판과 형식 보기
평가:

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

주제
다음과 같습니다:

 

도서관에서 사본 찾기

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

상세정보

문서 유형 도서
모든 저자 / 참여자: Wolfram Pohlers
ISBN: 9783540693185 3540693181 9783540693192 354069319X
OCLC 번호: 845360224
메모: Literaturverz. S. 357 - 361
설명: XIII, 370 S. graph. Darst. 235 mm x 155 mm
일련 제목: Universitext
책임: Wolfram Pohlers
더 많은 정보

리뷰

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

태그

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

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

링크된 데이터


Primary Entity

<http://www.worldcat.org/oclc/845360224> # Proof theory the first step into impredicativity
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "845360224" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/866283287#Place/berlin_u_a> ; # Berlin u.a.
   schema:about <http://experiment.worldcat.org/entity/work/data/866283287#Topic/rekursionstheorie> ; # Rekursionstheorie
   schema:about <http://id.worldcat.org/fast/1078942> ; # Proof theory
   schema:about <http://experiment.worldcat.org/entity/work/data/866283287#Topic/beweistheorie> ; # Beweistheorie
   schema:about <http://id.loc.gov/authorities/subjects/sh85107437> ; # Proof theory
   schema:about <http://experiment.worldcat.org/entity/work/data/866283287#Topic/ordinalzahl> ; # Ordinalzahl
   schema:about <http://dewey.info/class/510/> ;
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://viaf.org/viaf/25156760> ; # Wolfram Pohlers
   schema:datePublished "2009" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/866283287> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/866283287#Series/universitext> ; # Universitext
   schema:name "Proof theory the first step into impredicativity" ;
   schema:productID "845360224" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/845360224#PublicationEvent/berlin_u_a_springer2009> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/866283287#Agent/springer> ; # Springer
   schema:workExample <http://worldcat.org/isbn/9783540693192> ;
   schema:workExample <http://worldcat.org/isbn/9783540693185> ;
   umbel:isLike <http://d-nb.info/989061868> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/845360224> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/866283287#Series/universitext> # Universitext
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/845360224> ; # Proof theory the first step into impredicativity
   schema:name "Universitext" ;
    .

<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/25156760> # Wolfram Pohlers
    a schema:Person ;
   schema:familyName "Pohlers" ;
   schema:givenName "Wolfram" ;
   schema:name "Wolfram Pohlers" ;
    .

<http://worldcat.org/isbn/9783540693185>
    a schema:ProductModel ;
   schema:description "Pb." ;
   schema:isbn "3540693181" ;
   schema:isbn "9783540693185" ;
    .

<http://worldcat.org/isbn/9783540693192>
    a schema:ProductModel ;
   schema:description "electronic" ;
   schema:isbn "354069319X" ;
   schema:isbn "9783540693192" ;
    .


Content-negotiable representations

윈도우 닫기

WorldCat에 로그인 하십시오 

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