跳到内容
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
材料类型: 会议刊物
文件类型:
所有的著者/提供者: 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> ; # 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 

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