skip to content
Cours de logique mathematique ... Preview this item
ClosePreview this item
Checking...

Cours de logique mathematique ...

Author: Roland Fraïssé
Publisher: Paris, Gauthier-Villars; Louvain, E. Nauwelaerts, 1967-1975.
Series: Collection de logique mathématique., Série A ;, 23, 24, 25.
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

Additional Physical Format: Online version:
Fraïssé, Roland.
Cours de logique mathematique .
Paris, Gauthier-Villars; Louvain, E. Nauwelaerts, 1967-1975
(OCoLC)609228614
Document Type: Book
All Authors / Contributors: Roland Fraïssé
OCLC Number: 13466343
Description: 3 volumes 24 cm.
Contents: t. 1. Relation, formule logique, compacité, complétude.--t. 2. Théorie des modèles.--t. 3. Récursivité et constructibilité.
Series Title: Collection de logique mathématique., Série A ;, 23, 24, 25.

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/13466343> # Cours de logique mathematique ...
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "13466343" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/fr> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4575257010#Place/paris> ; # Paris
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4575257010#Place/louvain> ; # Louvain
   schema:about <http://experiment.worldcat.org/entity/work/data/4575257010#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://dewey.info/class/164/> ;
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://viaf.org/viaf/46761172> ; # Roland Fraïssé
   schema:datePublished "1967/1975" ;
   schema:description "t. 1. Relation, formule logique, compacité, complétude.--t. 2. Théorie des modèles.--t. 3. Récursivité et constructibilité." ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/4575257010> ;
   schema:inLanguage "fr" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4575257010#Series/collection_de_logique_mathematique> ; # Collection de logique mathématique.
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4575257010#Series/collection_de_logique_mathematique_ser_a> ; # Collection de logique mathématique, sér. A.,
   schema:isSimilarTo <http://www.worldcat.org/oclc/609228614> ;
   schema:name "Cours de logique mathematique ..." ;
   schema:productID "13466343" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/13466343#PublicationEvent/paris_gauthier_villars_louvain_e_nauwelaerts_1967_1975> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/4575257010#Agent/gauthier_villars> ; # Gauthier-Villars
   schema:publisher <http://experiment.worldcat.org/entity/work/data/4575257010#Agent/e_nauwelaerts> ; # E. Nauwelaerts
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/13466343> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/4575257010#Series/collection_de_logique_mathematique> # Collection de logique mathématique.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/13466343> ; # Cours de logique mathematique ...
   schema:name "Collection de logique mathématique." ;
    .

<http://experiment.worldcat.org/entity/work/data/4575257010#Series/collection_de_logique_mathematique_ser_a> # Collection de logique mathématique, sér. A.,
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/13466343> ; # Cours de logique mathematique ...
   schema:name "Collection de logique mathématique, sér. A.," ;
    .

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

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

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

<http://www.worldcat.org/oclc/609228614>
    a schema:CreativeWork ;
   rdfs:label "Cours de logique mathematique ." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/13466343> ; # Cours de logique mathematique ...
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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