skip to content
Cours de logique mathématique. Tome I, relation, formule logique, compacité, complétude Preview this item
ClosePreview this item
Checking...

Cours de logique mathématique. Tome I, relation, formule logique, compacité, complétude

Author: Roland Fraïssé
Publisher: Paris : Gauthier-Villars ; Louvain : E. Nauwelaerts, 1967, cop. 1967.
Series: Collection de logique mathématique. Série A, Monographies réunies par Mme Destouches-Février, Paris, 23.
Edition/Format:   Print book : FrenchView all editions and formats
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

Document Type: Book
All Authors / Contributors: Roland Fraïssé
OCLC Number: 490982294
Description: 1 vol. (XII-186 p.) ; 24 cm.
Series Title: Collection de logique mathématique. Série A, Monographies réunies par Mme Destouches-Février, Paris, 23.
Responsibility: par Roland Fraïssé,....

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/490982294> # Cours de logique mathématique. Tome I, relation, formule logique, compacité, complétude
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "490982294" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1912811#Place/paris> ; # Paris
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/fr> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1912811#Place/louvain> ; # Louvain
    schema:about <http://experiment.worldcat.org/entity/work/data/1912811#Topic/logique_mathematique> ; # Logique mathématique
    schema:about <http://experiment.worldcat.org/entity/work/data/1912811#Topic/completude_theoreme_de> ; # Complétude, Théorème de
    schema:about <http://dewey.info/class/511.3/e21/> ;
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://id.loc.gov/authorities/subjects/sh85078115> ; # Logic, Symbolic and mathematical
    schema:author <http://viaf.org/viaf/46761172> ; # Roland Fraïssé
    schema:bookFormat bgn:PrintBook ;
    schema:copyrightYear "1967" ;
    schema:datePublished "1967" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1912811> ;
    schema:inLanguage "fr" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1912811#Series/collection_de_logique_mathematique_serie_a_monographies_reunies_par_mme_destouches_fevrier_paris> ; # Collection de logique mathématique. Série A, Monographies réunies par Mme Destouches-Février, Paris ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1912811#Series/collection_de_logique_mathematique_serie_a> ; # Collection de logique mathématique. Série A ;
    schema:name "Cours de logique mathématique. Tome I, relation, formule logique, compacité, complétude"@fr ;
    schema:productID "490982294" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/490982294#PublicationEvent/paris_gauthier_villars_louvain_e_nauwelaerts_1967_cop_1967> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1912811#Agent/e_nauwelaerts> ; # E. Nauwelaerts
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1912811#Agent/gauthier_villars> ; # Gauthier-Villars
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/490982294> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1912811#Agent/e_nauwelaerts> # E. Nauwelaerts
    a bgn:Agent ;
    schema:name "E. Nauwelaerts" ;
    .

<http://experiment.worldcat.org/entity/work/data/1912811#Agent/gauthier_villars> # Gauthier-Villars
    a bgn:Agent ;
    schema:name "Gauthier-Villars" ;
    .

<http://experiment.worldcat.org/entity/work/data/1912811#Series/collection_de_logique_mathematique_serie_a> # Collection de logique mathématique. Série A ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/490982294> ; # Cours de logique mathématique. Tome I, relation, formule logique, compacité, complétude
    schema:name "Collection de logique mathématique. Série A ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1912811#Series/collection_de_logique_mathematique_serie_a_monographies_reunies_par_mme_destouches_fevrier_paris> # Collection de logique mathématique. Série A, Monographies réunies par Mme Destouches-Février, Paris ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/490982294> ; # Cours de logique mathématique. Tome I, relation, formule logique, compacité, complétude
    schema:name "Collection de logique mathématique. Série A, Monographies réunies par Mme Destouches-Février, Paris ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1912811#Topic/completude_theoreme_de> # Complétude, Théorème de
    a schema:Intangible ;
    schema:name "Complétude, Théorème de"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/1912811#Topic/logique_mathematique> # Logique mathématique
    a schema:Intangible ;
    schema:name "Logique mathématique"@fr ;
    .

<http://id.loc.gov/authorities/subjects/sh85078115> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@fr ;
    .

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

<http://viaf.org/viaf/46761172> # Roland Fraïssé
    a schema:Person ;
    schema:birthDate "1920" ;
    schema:deathDate "2008" ;
    schema:familyName "Fraïssé" ;
    schema:givenName "Roland" ;
    schema:name "Roland Fraïssé" ;
    .

<http://www.worldcat.org/title/-/oclc/490982294>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/490982294> ; # Cours de logique mathématique. Tome I, relation, formule logique, compacité, complétude
    schema:dateModified "2018-02-23" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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