skip to content
Shōmeiron nyūmon Preview this item
ClosePreview this item
Checking...

証明論入門 /
Shōmeiron nyūmon

Author: 竹内外史. 竹内外史 ; 八杉満利子共著. 八杉満利子. ; Gaishi Takeuchi; Mariko Yasugi
Publisher: 共立出版, Tōkyō : Kyōritsushuppan, 2010.
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 online

Links to this item

Find a copy in the library

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

Details

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: 竹内外史. 竹内外史 ; 八杉満利子共著. 八杉満利子. ; Gaishi Takeuchi; Mariko Yasugi
ISBN: 9784320019355 4320019350
OCLC Number: 642817210
Description: 191 pages ; 22 cm
Responsibility: Takeuchi Gaishi ; Yasugi Mariko.

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/642817210> # 証明論入門
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "642817210" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ja> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/688957989#Place/tokyo> ; # Tōkyō
   rdfs:label "Shōmeiron nyūmon" ;
   schema:about <http://experiment.worldcat.org/entity/work/data/688957989#Topic/sugaku_kisoron> ; # 数学基礎論.
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/19910446> ; # 八杉満利子.
   schema:creator <http://viaf.org/viaf/64133112> ; # 竹内外史.
   schema:datePublished "2010" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/688957989> ;
   schema:inLanguage "ja" ;
   schema:name "証明論入門"@ja ;
   schema:productID "642817210" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/642817210#PublicationEvent/880_03tokyo_kyoritsushuppan_2010> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/688957989#Agent/kyoritsushuppan> ; # Kyōritsushuppan
   schema:url <http://www.bk1.jp/trcno/10142313/?partnerid=oclc&siteid=oclc> ;
   schema:workExample <http://worldcat.org/isbn/9784320019355> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/642817210> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/688957989#Topic/sugaku_kisoron> # 数学基礎論.
    a schema:Intangible ;
   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:familyName "Takeuchi" ;
   schema:givenName "Gaishi" ;
   schema:name "竹内外史."@ja ;
   schema:name "Gaishi Takeuchi"@en ;
    .

<http://worldcat.org/isbn/9784320019355>
    a schema:ProductModel ;
   schema:isbn "4320019350" ;
   schema:isbn "9784320019355" ;
    .

<http://www.bk1.jp/trcno/10142313/?partnerid=oclc&siteid=oclc>
   rdfs:comment "Japanese record available for display" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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