doorgaan naar inhoud
The theory of models; proceedings. Voorbeeldweergave van dit item
SluitenVoorbeeldweergave van dit item
Bezig met controle...

 

Zoeken naar een in de bibliotheek beschikbaar exemplaar

&AllPage.SpinnerRetrieving; Bibliotheken met dit item worden gezocht…

Details

Genre/Vorm: Conference papers and proceedings
Congresses
Congrès
Aanvullende fysieke materiaalsoort: Online version:
International Symposium on the Theory of Models (1963 : Berkeley, Calif.).
Theory of models.
Amsterdam, North-Holland Pub. Co., 1965
(OCoLC)608579236
Genre: Conferentie-uitgave
Soort document: Boek
Alle auteurs / medewerkers: 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-nummer: 373236
Opmerkingen: 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.
Beschrijving: xv, 494 pages portrait 23 cm.
Serietitel: Studies in logic and the foundations of mathematics.
Verantwoordelijkheid: Edited by J.W. Addison, Léon Henkin [and] Alfred Tarski.

Beoordelingen

Beoordelingen door gebruikers
Beoordelingen van GoodReads worden opgehaald...
Bezig met opvragen DOGObooks-reviews...

Tags

U bent de eerste.
Bevestig deze aanvraag

Misschien heeft u dit item reeds aangevraagd. Selecteer a.u.b. Ok als u toch wilt doorgaan met deze aanvraag.

Gekoppelde data


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

Venster sluiten

Meld u aan bij WorldCat 

Heeft u geen account? U kunt eenvoudig een nieuwe gratis account aanmaken.