skip to content
Elements of mathematical logic. (Model theory) Preview this item
ClosePreview this item
Checking...

Elements of mathematical logic. (Model theory)

Author: Georg Kreisel; J L Krivine
Publisher: Amsterdam, North Holland Pub. Co., 1967.
Series: Studies in logic and the foundations of mathematics.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Additional Physical Format: Online version:
Kreisel, Georg.
Elements of mathematical logic.
Amsterdam, North Holland Pub. Co., 1967
(OCoLC)562905376
Document Type: Book
All Authors / Contributors: Georg Kreisel; J L Krivine
OCLC Number: 526311
Notes: Translation of Eléments de logique mathématique, theorie des modéles.
Description: xi, 222 pages 23 cm.
Series Title: Studies in logic and the foundations of mathematics.
Other Titles: Eléments de logique mathématique, theorie des modéles.
Responsibility: [By] G. Kreisel and J.L. Krivine.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/526311> # Elements of mathematical logic. (Model theory)
    a schema:Book, schema:CreativeWork ;
    bgn:translationOfWork <http://www.worldcat.org/title/-/oclc/526311#CreativeWork/unidentifiedOriginalWork> ; # Eléments de logique mathématique, theorie des modéles.
    library:oclcnum "526311" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/118264979#Place/amsterdam> ; # Amsterdam
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/118264979#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
    schema:about <http://dewey.info/class/164/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/118264979#Topic/mathematische_logik> ; # Mathematische Logik
    schema:about <http://experiment.worldcat.org/entity/work/data/118264979#Topic/calcul_des_predicats> ; # Calcul des prédicats
    schema:about <http://experiment.worldcat.org/entity/work/data/118264979#Topic/grundlage> ; # Grundlage
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/118264979#Topic/modeles_theorie_des> ; # Modèles, Théorie des
    schema:author <http://viaf.org/viaf/92399890> ; # Jean Louis Krivine
    schema:bookFormat bgn:PrintBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/118264979#Person/kreisel_georg> ; # Georg Kreisel
    schema:datePublished "1967" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/118264979> ; # Eléments de logique mathématique, theorie des modéles.
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/118264979#Series/studies_in_logic_and_the_foundations_of_mathematics> ; # Studies in logic and the foundations of mathematics.
    schema:isSimilarTo <http://www.worldcat.org/oclc/562905376> ;
    schema:name "Elements of mathematical logic. (Model theory)"@en ;
    schema:productID "526311" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/526311#PublicationEvent/amsterdam_north_holland_pub_co_1967> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/118264979#Agent/north_holland_pub_co> ; # North Holland Pub. Co.
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/526311> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/118264979#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/118264979#Person/kreisel_georg> # Georg Kreisel
    a schema:Person ;
    schema:familyName "Kreisel" ;
    schema:givenName "Georg" ;
    schema:name "Georg Kreisel" ;
    .

<http://experiment.worldcat.org/entity/work/data/118264979#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/526311> ; # Elements of mathematical logic. (Model theory)
    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/118264979#Topic/calcul_des_predicats> # Calcul des prédicats
    a schema:Intangible ;
    schema:name "Calcul des prédicats"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/118264979#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
    schema:name "Logique symbolique et mathématique"@en ;
    schema:name "Logique symbolique et mathématique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/118264979#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
    schema:name "Mathematische Logik"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/118264979#Topic/modeles_theorie_des> # Modèles, Théorie des
    a schema:Intangible ;
    schema:name "Modèles, Théorie des"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://viaf.org/viaf/92399890> # Jean Louis Krivine
    a schema:Person ;
    schema:familyName "Krivine" ;
    schema:givenName "Jean Louis" ;
    schema:givenName "J. L." ;
    schema:name "Jean Louis Krivine" ;
    .

<http://worldcat.org/entity/work/id/118264979> # Eléments de logique mathématique, theorie des modéles.
    schema:name "Eléments de logique mathématique, theorie des modéles." ;
    .

<http://www.worldcat.org/oclc/562905376>
    a schema:CreativeWork ;
    rdfs:label "Elements of mathematical logic." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/526311> ; # Elements of mathematical logic. (Model theory)
    .

<http://www.worldcat.org/title/-/oclc/526311#CreativeWork/unidentifiedOriginalWork> # Eléments de logique mathématique, theorie des modéles.
    a schema:CreativeWork ;
    dcterms:language "und" ;
    schema:name "Eléments de logique mathématique, theorie des modéles." ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.