跳至内容
Two applications of logic to mathematics 線上預覽
關閉線上預覽
正在查...

Two applications of logic to mathematics

作者: Gaisi Takeuti
出版商: [Tokyo] : Iwanami Shoten ; [Princeton, N.J.] : Princeton University Press, 1978.
叢書: Publications of the Mathematical Society of Japan, 13.; Publications of the Mathematical Society of Japan., Kanō memorial lectures ;, 3.
版本/格式:   Print book : 英語所有版本和格式的總覽
資料庫:WorldCat
評定級別:

(尚未評分) 0 附有評論 - 成爲第一個。

主題
更多類似這樣的

 

在圖書館查詢

&AllPage.SpinnerRetrieving; 正在查詢有此資料的圖書館...

詳細書目

資料類型: 網際網路資源
文件類型: 圖書, 網路資源
所有的作者/貢獻者: Gaisi Takeuti
ISBN: 069108212X 9780691082127
OCLC系統控制編碼: 3892376
描述: viii, 137 pages ; 24 cm.
叢書名: Publications of the Mathematical Society of Japan, 13.; Publications of the Mathematical Society of Japan., Kanō memorial lectures ;, 3.
責任: by Gaisi Takeuti.
更多資訊:

評論

讀者提供的評論
正在擷取GoodReads評論...
正在擷取DOGObooks的評論

標籤

成爲第一個
確認申請

你可能已經申請過這份資料。若還是想申請,請選確認。

連結資料


Primary Entity

<http://www.worldcat.org/oclc/3892376> # Two applications of logic to mathematics
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "3892376" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ja> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/13335263#Place/tokyo> ; # Tokyo
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/13335263#Place/princeton_n_j> ; # Princeton, N.J.
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/13335263#Topic/symbolische_logica> ; # Symbolische logica
   schema:about <http://experiment.worldcat.org/entity/work/data/13335263#Topic/booleaanse_algebra> ; # Booleaanse algebra
   schema:about <http://id.worldcat.org/fast/804924> ; # Algebra, Boolean
   schema:about <http://experiment.worldcat.org/entity/work/data/13335263#Topic/wiskundige_logica> ; # Wiskundige logica
   schema:about <http://dewey.info/class/511.3/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/13335263#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   schema:about <http://experiment.worldcat.org/entity/work/data/13335263#Topic/boole_algebre_de> ; # Boole, Algèbre de
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://viaf.org/viaf/64133112> ; # Gaisi Takeuti
   schema:datePublished "1978" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/13335263> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/13335263#Series/publications_of_the_mathematical_society_of_japan_kano_memorial_lectures> ; # Publications of the Mathematical Society of Japan ; Kanō memorial lectures ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/13335263#Series/publications_of_the_mathematical_society_of_japan> ; # Publications of the Mathematical Society of Japan.
   schema:name "Two applications of logic to mathematics"@en ;
   schema:productID "3892376" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/3892376#PublicationEvent/tokyo_iwanami_shoten_princeton_n_j_princeton_university_press_1978> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/13335263#Agent/iwanami_shoten> ; # Iwanami Shoten
   schema:publisher <http://experiment.worldcat.org/entity/work/data/13335263#Agent/princeton_university_press> ; # Princeton University Press
   schema:url <http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=1938946&custom%5Fatt%5F2=simple%5Fviewer> ;
   schema:url <http://www.gbv.de/dms/hbz/toc/ht001080979.pdf> ;
   schema:workExample <http://worldcat.org/isbn/9780691082127> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/3892376> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/13335263#Agent/iwanami_shoten> # Iwanami Shoten
    a bgn:Agent ;
   schema:name "Iwanami Shoten" ;
    .

<http://experiment.worldcat.org/entity/work/data/13335263#Agent/princeton_university_press> # Princeton University Press
    a bgn:Agent ;
   schema:name "Princeton University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/13335263#Place/princeton_n_j> # Princeton, N.J.
    a schema:Place ;
   schema:name "Princeton, N.J." ;
    .

<http://experiment.worldcat.org/entity/work/data/13335263#Series/publications_of_the_mathematical_society_of_japan> # Publications of the Mathematical Society of Japan.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/3892376> ; # Two applications of logic to mathematics
   schema:name "Publications of the Mathematical Society of Japan." ;
   schema:name "Publications of the Mathematical Society of Japan ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/13335263#Series/publications_of_the_mathematical_society_of_japan_kano_memorial_lectures> # Publications of the Mathematical Society of Japan ; Kanō memorial lectures ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/3892376> ; # Two applications of logic to mathematics
   schema:name "Publications of the Mathematical Society of Japan ; Kanō memorial lectures ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/13335263#Topic/boole_algebre_de> # Boole, Algèbre de
    a schema:Intangible ;
   schema:name "Boole, Algèbre de"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/13335263#Topic/booleaanse_algebra> # Booleaanse algebra
    a schema:Intangible ;
   schema:name "Booleaanse algebra"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/13335263#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
   schema:name "Logique symbolique et mathématique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/13335263#Topic/symbolische_logica> # Symbolische logica
    a schema:Intangible ;
   schema:name "Symbolische logica"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/804924> # Algebra, Boolean
    a schema:Intangible ;
   schema:name "Algebra, Boolean"@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/9780691082127>
    a schema:ProductModel ;
   schema:isbn "069108212X" ;
   schema:isbn "9780691082127" ;
    .


Content-negotiable representations

關閉視窗

請登入WorldCat 

没有帳號嗎?你可很容易的 建立免費的帳號.