コンテンツへ移動
The theory of models; proceedings. 資料のプレビュー
閉じる資料のプレビュー
確認中…

 

オフラインで入手

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

詳細

ジャンル/形式: Conference papers and proceedings
Congresses
Congresos
Congrès
その他のフォーマット: Online version:
International Symposium on the Theory of Models (1963 : Berkeley, Calif.).
Theory of models.
Amsterdam, North-Holland Pub. Co., 1965
(OCoLC)608579236
資料の種類: Conference publication
ドキュメントの種類: 図書
すべての著者/寄与者: J W Addison; University of California, Berkeley.; Association for Symbolic Logic.; International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.
OCLC No.: 373236
注記: Held at the University of California, Berkeley; sponsored by the Association for Symbolic Logic in cooperation with the Division of Logic, Methodology, and Philosophy of Sciences of the International Union of the History and Philosophy of Science.
物理形態: xv, 494 pages portrait 23 cm.
シリーズタイトル: Studies in logic and the foundations of mathematics.
責任者: Edited by J.W. Addison, Léon Henkin [and] Alfred Tarski.

レビュー

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

タグ

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

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

リンクデータ


Primary Entity

<http://www.worldcat.org/oclc/373236> # The theory of models; proceedings.
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "373236" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/891098159#Place/amsterdam> ; # Amsterdam
   schema:about <http://id.worldcat.org/fast/1012085> ; # Logic, Symbolic and mathematical
   schema:about <http://id.loc.gov/authorities/classification/BC135> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/891098159#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   schema:about <http://experiment.worldcat.org/entity/work/data/891098159#Topic/mathematical_models> ; # Mathematical models
   schema:about <http://experiment.worldcat.org/entity/work/data/891098159#Topic/logica_matematica> ; # Lógica matemática
   schema:about <http://experiment.worldcat.org/entity/work/data/891098159#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/891098159#Topic/logique_symbolique_et_mathematique_congres> ; # Logique symbolique et mathématique--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/891098159#Topic/modeltheorie> ; # Modeltheorie
   schema:about <http://dewey.info/class/164/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/891098159#Topic/modeles_mathematiques_congres> ; # Modèles mathématiques--Congrès
   schema:about <http://id.loc.gov/authorities/subjects/sh85082124> ; # Mathematical models
   schema:about <http://id.worldcat.org/fast/1002068> ; # Modèles mathématiques
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/151897676> ; # International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.
   schema:contributor <http://viaf.org/viaf/149111950> ; # University of California, Berkeley.
   schema:contributor <http://experiment.worldcat.org/entity/work/data/891098159#Organization/association_for_symbolic_logic> ; # Association for Symbolic Logic.
   schema:creator <http://experiment.worldcat.org/entity/work/data/891098159#Meeting/international_symposium_on_the_theory_of_models_1963_berkeley_calif> ; # International Symposium on the Theory of Models (1963 : Berkeley, Calif.)
   schema:datePublished "1965" ;
   schema:editor <http://viaf.org/viaf/111208396> ; # John West Addison
   schema:exampleOfWork <http://worldcat.org/entity/work/id/891098159> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/891098159#Series/studies_in_logic_and_the_foundations_of_mathematics> ; # Studies in logic and the foundations of mathematics.
   schema:isSimilarTo <http://www.worldcat.org/oclc/608579236> ;
   schema:name "The theory of models; proceedings."@en ;
   schema:productID "373236" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/373236#PublicationEvent/amsterdam_north_holland_pub_co_1965> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/891098159#Agent/north_holland_pub_co> ; # North-Holland Pub. Co.
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/373236> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/891098159#Agent/north_holland_pub_co> # North-Holland Pub. Co.
    a bgn:Agent ;
   schema:name "North-Holland Pub. Co." ;
    .

<http://experiment.worldcat.org/entity/work/data/891098159#Meeting/international_symposium_on_the_theory_of_models_1963_berkeley_calif> # International Symposium on the Theory of Models (1963 : Berkeley, Calif.)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/891098159#Place/berkeley_calif> ; # Berkeley, Calif.)
   schema:name "International Symposium on the Theory of Models (1963 : Berkeley, Calif.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/891098159#Organization/association_for_symbolic_logic> # Association for Symbolic Logic.
    a schema:Organization ;
   schema:name "Association for Symbolic Logic." ;
    .

<http://experiment.worldcat.org/entity/work/data/891098159#Place/berkeley_calif> # Berkeley, Calif.)
    a schema:Place ;
   schema:name "Berkeley, Calif.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/891098159#Series/studies_in_logic_and_the_foundations_of_mathematics> # Studies in logic and the foundations of mathematics.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/373236> ; # The theory of models; proceedings.
   schema:name "Studies in logic and the foundations of mathematics." ;
   schema:name "Studies in logic and the foundations of mathematics" ;
    .

<http://experiment.worldcat.org/entity/work/data/891098159#Topic/logica_matematica> # Lógica matemática
    a schema:Intangible ;
   schema:name "Lógica matemática"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/891098159#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/891098159#Topic/logique_symbolique_et_mathematique_congres> # Logique symbolique et mathématique--Congrès
    a schema:Intangible ;
   schema:name "Logique symbolique et mathématique--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/891098159#Topic/mathematical_models> # Mathematical models
    a schema:Intangible ;
   schema:name "Mathematical models"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/891098159#Topic/modeles_mathematiques_congres> # Modèles mathématiques--Congrès
    a schema:Intangible ;
   schema:name "Modèles mathématiques--Congrès"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85082124> # Mathematical models
    a schema:Intangible ;
   schema:name "Mathematical models"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Modèles mathématiques
    a schema:Intangible ;
   schema:name "Modèles mathématiques"@fr ;
    .

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

<http://viaf.org/viaf/111208396> # John West Addison
    a schema:Person ;
   schema:birthDate "1930" ;
   schema:familyName "Addison" ;
   schema:givenName "John West" ;
   schema:givenName "J. W." ;
   schema:name "John West Addison" ;
    .

<http://viaf.org/viaf/149111950> # University of California, Berkeley.
    a schema:Organization ;
   schema:name "University of California, Berkeley." ;
    .

<http://viaf.org/viaf/151897676> # International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.
    a schema:Organization ;
   schema:name "International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science." ;
    .

<http://www.worldcat.org/oclc/608579236>
    a schema:CreativeWork ;
   rdfs:label "Theory of models." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/373236> ; # The theory of models; proceedings.
    .


Content-negotiable representations

ウインドウを閉じる

WorldCatにログインしてください 

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