跳到内容
Two applications of logic to mathematics 预览资料
关闭预览资料
正在查...

Two applications of logic to mathematics

著者: G Takeuti
出版商: Tokyo: Iwanami Shoten Publishers; Princeton - N.J.: Princeton University Press, 1978.
丛书: Kanô memorial lectures, 3.; Publications of the Mathematical Society of Japan, 13.
版本/格式:   Print book : 英语查看所有的版本和格式
数据库:WorldCat
评估:

(尚未评估) 0 附有评论 - 争取成为第一个。

主题
更多类似这样的

 

在图书馆查找

&AllPage.SpinnerRetrieving; 正在查找有这资料的图书馆...

详细书目

文件类型:
所有的著者/提供者: G Takeuti
OCLC号码: 636091708
描述: VIII, 137 p. : fig.
丛书名: Kanô memorial lectures, 3.; Publications of the Mathematical Society of Japan, 13.
责任: Gaisi Takeuti.

评论

用户提供的评论
正在获取GoodReads评论...
正在检索DOGObooks的评论

标签

争取是第一个!
确认申请

你可能已经申请过这份资料。如果还是想申请,请选确认。

链接数据


Primary Entity

<http://www.worldcat.org/oclc/636091708> # Two applications of logic to mathematics
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "636091708" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/13335263#Place/tokyo> ; # Tokyo
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ja> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/13335263#Thing/darstellungen_boolescher_algebren_algebra> ; # DARSTELLUNGEN BOOLESCHER ALGEBREN (ALGEBRA)
    schema:about <http://experiment.worldcat.org/entity/work/data/13335263#Thing/theorie_multiplicative_des_nombres> ; # THÉORIE MULTIPLICATIVE DES NOMBRES
    schema:about <http://experiment.worldcat.org/entity/work/data/13335263#Topic/boolesche_algebra> ; # Boolesche Algebra
    schema:about <http://experiment.worldcat.org/entity/work/data/13335263#Thing/funktionentheorie_analysis> ; # FUNKTIONENTHEORIE (ANALYSIS)
    schema:about <http://experiment.worldcat.org/entity/work/data/13335263#Thing/representations_of_boolean_algebras_algebra> ; # REPRESENTATIONS OF BOOLEAN ALGEBRAS (ALGEBRA)
    schema:about <http://experiment.worldcat.org/entity/work/data/13335263#Topic/mathematische_logik> ; # Mathematische Logik
    schema:about <http://experiment.worldcat.org/entity/work/data/13335263#Thing/theorie_des_fonctions_analyse_mathematique> ; # THÉORIE DES FONCTIONS (ANALYSE MATHÉMATIQUE)
    schema:about <http://experiment.worldcat.org/entity/work/data/13335263#Thing/theory_of_functions_mathematical_analysis> ; # THEORY OF FUNCTIONS (MATHEMATICAL ANALYSIS)
    schema:about <http://experiment.worldcat.org/entity/work/data/13335263#Topic/analysis> ; # Analysis
    schema:about <http://experiment.worldcat.org/entity/work/data/13335263#Thing/multiplikative_zahlentheorie> ; # MULTIPLIKATIVE ZAHLENTHEORIE
    schema:about <http://experiment.worldcat.org/entity/work/data/13335263#Thing/representations_d_algebres_booleennes_algebre> ; # REPRÉSENTATIONS D'ALGÈBRES BOOLÉENNES (ALGÈBRE)
    schema:about <http://experiment.worldcat.org/entity/work/data/13335263#Thing/multiplicative_number_theory> ; # MULTIPLICATIVE NUMBER THEORY
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/64133112> ; # G. 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> ; # Publications of the Mathematical Society of Japan ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/13335263#Series/kano_memorial_lectures> ; # Kanô memorial lectures ;
    schema:name "Two applications of logic to mathematics" ;
    schema:numberOfPages "137" ;
    schema:productID "636091708" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/636091708#PublicationEvent/tokyo_iwanami_shoten_publishers_princeton_n_j_princeton_university_press_1978> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/13335263#Agent/iwanami_shoten_publishers_princeton_n_j_princeton_university_press> ; # Iwanami Shoten Publishers; Princeton - N.J.: Princeton University Press
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/636091708> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/13335263#Agent/iwanami_shoten_publishers_princeton_n_j_princeton_university_press> # Iwanami Shoten Publishers; Princeton - N.J.: Princeton University Press
    a bgn:Agent ;
    schema:name "Iwanami Shoten Publishers; Princeton - N.J.: Princeton University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/13335263#Series/kano_memorial_lectures> # Kanô memorial lectures ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/636091708> ; # Two applications of logic to mathematics
    schema:name "Kanô memorial lectures ;" ;
    .

<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/636091708> ; # Two applications of logic to mathematics
    schema:name "Publications of the Mathematical Society of Japan ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/13335263#Thing/darstellungen_boolescher_algebren_algebra> # DARSTELLUNGEN BOOLESCHER ALGEBREN (ALGEBRA)
    a schema:Thing ;
    schema:name "DARSTELLUNGEN BOOLESCHER ALGEBREN (ALGEBRA)" ;
    .

<http://experiment.worldcat.org/entity/work/data/13335263#Thing/funktionentheorie_analysis> # FUNKTIONENTHEORIE (ANALYSIS)
    a schema:Thing ;
    schema:name "FUNKTIONENTHEORIE (ANALYSIS)" ;
    .

<http://experiment.worldcat.org/entity/work/data/13335263#Thing/multiplicative_number_theory> # MULTIPLICATIVE NUMBER THEORY
    a schema:Thing ;
    schema:name "MULTIPLICATIVE NUMBER THEORY" ;
    .

<http://experiment.worldcat.org/entity/work/data/13335263#Thing/multiplikative_zahlentheorie> # MULTIPLIKATIVE ZAHLENTHEORIE
    a schema:Thing ;
    schema:name "MULTIPLIKATIVE ZAHLENTHEORIE" ;
    .

<http://experiment.worldcat.org/entity/work/data/13335263#Thing/representations_d_algebres_booleennes_algebre> # REPRÉSENTATIONS D'ALGÈBRES BOOLÉENNES (ALGÈBRE)
    a schema:Thing ;
    schema:name "REPRÉSENTATIONS D'ALGÈBRES BOOLÉENNES (ALGÈBRE)" ;
    .

<http://experiment.worldcat.org/entity/work/data/13335263#Thing/representations_of_boolean_algebras_algebra> # REPRESENTATIONS OF BOOLEAN ALGEBRAS (ALGEBRA)
    a schema:Thing ;
    schema:name "REPRESENTATIONS OF BOOLEAN ALGEBRAS (ALGEBRA)" ;
    .

<http://experiment.worldcat.org/entity/work/data/13335263#Thing/theorie_des_fonctions_analyse_mathematique> # THÉORIE DES FONCTIONS (ANALYSE MATHÉMATIQUE)
    a schema:Thing ;
    schema:name "THÉORIE DES FONCTIONS (ANALYSE MATHÉMATIQUE)" ;
    .

<http://experiment.worldcat.org/entity/work/data/13335263#Thing/theorie_multiplicative_des_nombres> # THÉORIE MULTIPLICATIVE DES NOMBRES
    a schema:Thing ;
    schema:name "THÉORIE MULTIPLICATIVE DES NOMBRES" ;
    .

<http://experiment.worldcat.org/entity/work/data/13335263#Thing/theory_of_functions_mathematical_analysis> # THEORY OF FUNCTIONS (MATHEMATICAL ANALYSIS)
    a schema:Thing ;
    schema:name "THEORY OF FUNCTIONS (MATHEMATICAL ANALYSIS)" ;
    .

<http://experiment.worldcat.org/entity/work/data/13335263#Topic/boolesche_algebra> # Boolesche Algebra
    a schema:Intangible ;
    schema:name "Boolesche Algebra" ;
    .

<http://experiment.worldcat.org/entity/work/data/13335263#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
    schema:name "Mathematische Logik" ;
    .

<http://viaf.org/viaf/64133112> # G. Takeuti
    a schema:Person ;
    schema:familyName "Takeuti" ;
    schema:givenName "G." ;
    schema:name "G. Takeuti" ;
    .


Content-negotiable representations

关闭窗口

请登入WorldCat 

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