skip to content
Shōmeiron nyūmon : sūgaku kisoron kaidai. Preview this item
ClosePreview this item
Checking...

証明論入門 : 数学基礎論改題 /
Shōmeiron nyūmon : sūgaku kisoron kaidai.

Author: 竹內外史, 八杉満利子共著. 竹內外史, 八杉満利子. ; ; Gaisi Takeuti; Mariko Yasugi
Publisher: 共立出版, Tōkyō : Kyōritsu Shuppan, 1988.
Edition/Format:   Print book : JapaneseView all editions and formats
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: 竹內外史, 八杉満利子共著. 竹內外史, 八杉満利子. ; ; Gaisi Takeuti; Mariko Yasugi
ISBN: 4320014065 9784320014060
OCLC Number: 47382544
Description: 191 pages ; 22 cm

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Related Subjects:(1)

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/47382544> # 証明論入門 : 数学基礎論改題
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "47382544" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/688957989#Place/tokyo> ; # Tōkyō
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ja> ;
    rdfs:label "Shōmeiron nyūmon : sūgaku kisoron kaidai." ;
    schema:about <http://experiment.worldcat.org/entity/work/data/688957989#Thing/sugaku_kisoron> ; # 数学基礎論.
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/19910446> ; # 八杉満利子.
    schema:contributor <http://viaf.org/viaf/64133112> ; # 竹內外史
    schema:datePublished "1988" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/688957989> ;
    schema:inLanguage "ja" ;
    schema:name "証明論入門 : 数学基礎論改題"@ja ;
    schema:productID "47382544" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/47382544#PublicationEvent/880_02tokyo_kyoritsu_shuppan_1988> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/688957989#Agent/kyoritsu_shuppan> ; # Kyōritsu Shuppan
    schema:workExample <http://worldcat.org/isbn/9784320014060> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/47382544> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/688957989#Agent/kyoritsu_shuppan> # Kyōritsu Shuppan
    a bgn:Agent ;
    schema:name "Kyōritsu Shuppan" ;
    .

<http://experiment.worldcat.org/entity/work/data/688957989#Thing/sugaku_kisoron> # 数学基礎論.
    a schema:Thing ;
    rdfs:label "Sūgaku kisoron." ;
    schema:name "数学基礎論."@ja ;
    .

<http://viaf.org/viaf/19910446> # 八杉満利子.
    a schema:Person ;
    schema:familyName "Yasugi" ;
    schema:givenName "Mariko" ;
    schema:name "八杉満利子."@ja ;
    schema:name "Mariko Yasugi"@en ;
    .

<http://viaf.org/viaf/64133112> # 竹內外史
    a schema:Person ;
    schema:birthDate "1926" ;
    schema:familyName "Takeuti" ;
    schema:givenName "Gaisi" ;
    schema:name "竹內外史"@ja ;
    schema:name "Gaisi Takeuti"@en ;
    .

<http://worldcat.org/isbn/9784320014060>
    a schema:ProductModel ;
    schema:isbn "4320014065" ;
    schema:isbn "9784320014060" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.