コンテンツへ移動
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.
エディション/フォーマット:   book_printbook : Englishすべてのエディションとフォーマットを見る
データベース:WorldCat
評価:

(まだ評価がありません) 0 件のレビュー - 是非あなたから!

件名:
関連情報:

 

オフラインで入手

&AllPage.SpinnerRetrieving; この資料の所蔵館を検索中…

詳細

ドキュメントの種類: 図書
すべての著者/寄与者: G Takeuti
OCLC No.: 636091708
物理形態: VIII, 137 p. : fig.
シリーズタイトル: Kanô memorial lectures, 3.; Publications of the Mathematical Society of Japan, 13.
責任者: Gaisi Takeuti.

レビュー

ユーザーレビュー
GoodReadsのレビューを取得中…
DOGObooksのレビューを取得中…

タグ

まずはあなたから!
リクエストの確認

あなたは既にこの資料をリクエストしている可能性があります。このリクエストを続行してよろしければ、OK を選択してください。

リンクデータ


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/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にログインしてください 

アカウントをお持ちではないですか?簡単に 無料アカウントを作成することができます。.