跳到内容
The theory of models; proceedings. 预览资料
关闭预览资料
正在查...

 

在图书馆查找

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

详细书目

类型/形式: Conference papers and proceedings
Congresses
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
材料类型: 会议刊物
文件类型:
所有的著者/提供者: 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号码: 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的评论

标签

争取是第一个!
确认申请

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

链接数据


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> ; # Mathematical models
    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/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> ; # Modèles mathématiques
    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> ; # Logic, Symbolic and mathematical
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/136761028> ; # International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.
    schema:contributor <http://viaf.org/viaf/142787442> ; # Association for Symbolic Logic.
    schema:contributor <http://viaf.org/viaf/149111950> ; # University of California, Berkeley.
    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#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/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/modeles_mathematiques> # Modèles mathématiques
    a schema:Intangible ;
    schema:name "Modèles mathématiques"@fr ;
    .

<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> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/1012085> # Mathematical models
    a schema:Intangible ;
    schema:name "Mathematical models"@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/136761028> # 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://viaf.org/viaf/142787442> # Association for Symbolic Logic.
    a schema:Organization ;
    schema:name "Association for Symbolic Logic." ;
    .

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

<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 

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