跳到内容
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://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://experiment.worldcat.org/entity/work/data/13335263#Topic/wiskundige_logica> # Wiskundige logica
    a schema:Intangible ;
    schema:name "Wiskundige 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 

没有张号吗?很容易就可以 建立免费的账号.