passa ai contenuti
The theory of models; proceedings. Anteprima di questo documento
ChiudiAnteprima di questo documento
Stiamo controllando…

 

Trova una copia in biblioteca

&AllPage.SpinnerRetrieving; Stiamo ricercando le biblioteche che possiedono questo documento…

Dettagli

Genere/forma: Conference papers and proceedings
Congresses
Congrès
Informazioni aggiuntive sul formato: Online version:
International Symposium on the Theory of Models (1963 : Berkeley, Calif.).
Theory of models.
Amsterdam, North-Holland Pub. Co., 1965
(OCoLC)608579236
Tipo materiale: Conference publication
Tipo documento Libro
Tutti gli autori / Collaboratori: 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.
Numero OCLC: 373236
Note: 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.
Descrizione: xv, 494 pages portrait 23 cm.
Titolo della serie: Studies in logic and the foundations of mathematics.
Responsabilità: Edited by J.W. Addison, Léon Henkin [and] Alfred Tarski.

Commenti

Commenti degli utenti
Recuperando commenti GoodReads…
Stiamo recuperando commenti DOGObooks

Etichette

Diventa il primo.
Conferma questa richiesta

Potresti aver già richiesto questo documento. Seleziona OK se si vuole procedere comunque con questa richiesta.

Linked 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.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/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: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/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> # 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://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

Chiudi finestra

Per favore entra in WorldCat 

Non hai un account? Puoi facilmente crearne uno gratuito.