skip to content
Logique mathématique. 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés Preview this item
ClosePreview this item
Checking...

Logique mathématique. 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés

Author: René Cori; Daniel Lascar; Jean-Louis Krivine
Series: Sciences sup.
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: René Cori; Daniel Lascar; Jean-Louis Krivine
ISBN: 2100054538 9782100054534
OCLC Number: 492147421
Notes: Autres tirages : 2005, 2008, 2011, 2013, 2015, 2017.
Réédition de l'édition originale publiée en 1993 aux Editions Masson dans la collection Axiomes, coordonnée par J.-L. Krivine.
La couv. porte en plus : "Licence, master"
Description: 1 vol. (XV-347 p.) : couv. ill. en coul. ; 24 cm.
Series Title: Sciences sup.
Responsibility: René Cori,... Daniel Lascar,... ; préface de Jean-Louis 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/492147421> # Logique mathématique. 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "492147421" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/fr> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/499899631#Topic/fonctions_recursives_manuels_d_enseignement_superieur> ; # Fonctions récursives--Manuels d'enseignement supérieur
   schema:about <http://experiment.worldcat.org/entity/work/data/499899631#Topic/logique> ; # Logique
   schema:about <http://experiment.worldcat.org/entity/work/data/499899631#Topic/theorie_des_ensembles_problemes_et_exercices> ; # Théorie des ensembles--Problèmes et exercices
   schema:about <http://experiment.worldcat.org/entity/work/data/499899631#Topic/godel_theoreme_de_manuels_d_enseignement_superieur> ; # Gödel, Théorème de--Manuels d'enseignement supérieur
   schema:about <http://experiment.worldcat.org/entity/work/data/499899631#Topic/mathematiques> ; # Mathématiques
   schema:about <http://experiment.worldcat.org/entity/work/data/499899631#Topic/theorie_des_modeles_problemes_et_exercices> ; # Théorie des modèles--Problèmes et exercices
   schema:about <http://experiment.worldcat.org/entity/work/data/499899631#Topic/godel_theoreme_de_problemes_et_exercices> ; # Gödel, Théorème de--Problèmes et exercices
   schema:about <http://experiment.worldcat.org/entity/work/data/499899631#Topic/theorie_des_ensembles_manuels_d_enseignement_superieur> ; # Théorie des ensembles--Manuels d'enseignement supérieur
   schema:about <http://dewey.info/class/511.3/e21/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/499899631#Topic/fonctions_recursives_problemes_et_exercices> ; # Fonctions récursives--Problèmes et exercices
   schema:about <http://experiment.worldcat.org/entity/work/data/499899631#Topic/theorie_des_modeles_manuels_d_enseignement_superieur> ; # Théorie des modèles--Manuels d'enseignement supérieur
   schema:author <http://viaf.org/viaf/85473936> ; # Daniel Lascar
   schema:author <http://viaf.org/viaf/3701490> ; # René Cori
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/92399890> ; # Jean-Louis Krivine
   schema:copyrightYear "2003" ;
   schema:datePublished "2003" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/499899631> ;
   schema:inLanguage "fr" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/499899631#Series/sciences_sup> ; # Sciences sup.
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/499899631#Series/sciences_sup_mathematiques> ; # Sciences sup. Mathématiques
   schema:name "Logique mathématique. 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés"@fr ;
   schema:productID "492147421" ;
   schema:workExample <http://worldcat.org/isbn/9782100054534> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/492147421> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/499899631#Series/sciences_sup> # Sciences sup.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/492147421> ; # Logique mathématique. 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés
   schema:name "Sciences sup." ;
    .

<http://experiment.worldcat.org/entity/work/data/499899631#Series/sciences_sup_mathematiques> # Sciences sup. Mathématiques
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/492147421> ; # Logique mathématique. 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés
   schema:name "Sciences sup. Mathématiques" ;
    .

<http://experiment.worldcat.org/entity/work/data/499899631#Topic/fonctions_recursives_manuels_d_enseignement_superieur> # Fonctions récursives--Manuels d'enseignement supérieur
    a schema:Intangible ;
   schema:name "Fonctions récursives--Manuels d'enseignement supérieur"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/499899631#Topic/fonctions_recursives_problemes_et_exercices> # Fonctions récursives--Problèmes et exercices
    a schema:Intangible ;
   schema:name "Fonctions récursives--Problèmes et exercices"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/499899631#Topic/godel_theoreme_de_manuels_d_enseignement_superieur> # Gödel, Théorème de--Manuels d'enseignement supérieur
    a schema:Intangible ;
   schema:name "Gödel, Théorème de--Manuels d'enseignement supérieur"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/499899631#Topic/godel_theoreme_de_problemes_et_exercices> # Gödel, Théorème de--Problèmes et exercices
    a schema:Intangible ;
   schema:name "Gödel, Théorème de--Problèmes et exercices"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/499899631#Topic/theorie_des_ensembles_manuels_d_enseignement_superieur> # Théorie des ensembles--Manuels d'enseignement supérieur
    a schema:Intangible ;
   schema:name "Théorie des ensembles--Manuels d'enseignement supérieur"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/499899631#Topic/theorie_des_ensembles_problemes_et_exercices> # Théorie des ensembles--Problèmes et exercices
    a schema:Intangible ;
   schema:name "Théorie des ensembles--Problèmes et exercices"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/499899631#Topic/theorie_des_modeles_manuels_d_enseignement_superieur> # Théorie des modèles--Manuels d'enseignement supérieur
    a schema:Intangible ;
   schema:name "Théorie des modèles--Manuels d'enseignement supérieur"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/499899631#Topic/theorie_des_modeles_problemes_et_exercices> # Théorie des modèles--Problèmes et exercices
    a schema:Intangible ;
   schema:name "Théorie des modèles--Problèmes et exercices"@fr ;
    .

<http://viaf.org/viaf/3701490> # René Cori
    a schema:Person ;
   schema:familyName "Cori" ;
   schema:givenName "René" ;
   schema:name "René Cori" ;
    .

<http://viaf.org/viaf/85473936> # Daniel Lascar
    a schema:Person ;
   schema:birthDate "1942" ;
   schema:deathDate "" ;
   schema:familyName "Lascar" ;
   schema:givenName "Daniel" ;
   schema:name "Daniel Lascar" ;
    .

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

<http://worldcat.org/isbn/9782100054534>
    a schema:ProductModel ;
   schema:description "br" ;
   schema:isbn "2100054538" ;
   schema:isbn "9782100054534" ;
    .

<http://www.worldcat.org/title/-/oclc/492147421>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/492147421> ; # Logique mathématique. 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés
   schema:dateModified "2017-12-25" ;
   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.