aller au contenu
The theory of models; proceedings. Aperçu de cet ouvrage
FermerAperçu de cet ouvrage
Vérifiant…

 

Trouver un exemplaire dans la bibliothèque

&AllPage.SpinnerRetrieving; Recherche de bibliothèques qui possèdent cet ouvrage...

Détails

Genre/forme : Conference papers and proceedings
Congresses
Congrès
Format – détails additionnels : Online version:
International Symposium on the Theory of Models (1963 : Berkeley, Calif.).
Theory of models.
Amsterdam, North-Holland Pub. Co., 1965
(OCoLC)608579236
Type d’ouvrage : Publication de conférence
Format : Livre
Tous les auteurs / collaborateurs : 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.
Numéro OCLC : 373236
Notes : 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.
Description : xv, 494 pages portrait 23 cm.
Titre de collection : Studies in logic and the foundations of mathematics.
Responsabilité : Edited by J.W. Addison, Léon Henkin [and] Alfred Tarski.

Critiques

Critiques d’utilisateurs
Récupération des critiques de GoodReads...
Récuperation des critiques DOGObooks…

Tags

Soyez le premier.
Confirmez cette demande

Vous avez peut-être déjà demandé cet ouvrage. Veuillez sélectionner OK si vous voulez poursuivre avec cette demande quand même.

Données liées


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

Fermer la fenêtre

Veuillez vous identifier dans WorldCat 

Vous n’avez pas de compte? Vous pouvez facilement créer un compte gratuit.