A partir de cette page vous pouvez :
| Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur R. Cori
Documents disponibles écrits par cet auteur
Affiner la rechercheLogique mathématique t.1 / R. Cori
Titre : Logique mathématique t.1 : Calcul propositionnel, algèbres de Boole, calcul des prédicats Titre original : Cours et exercices Type de document : texte imprimé Auteurs : R. Cori ; Daniel Lascar ; Krivine, Jean-Louis, Préfacier, etc. Editeur : Paris Milan Barcelone Bonn : Masson Année de publication : 1993 Collection : Axiomes collection de logique mathématique, ISSN 1243-4264 Importance : xv 385 p. ISBN/ISSN/EAN : 978-2-225-84079-1 Langues : Français Mots-clés : logique mathematique calcul propositionnel algebres de boole predicats Index. décimale : 103I Logique mathématique t.1 = Cours et exercices : Calcul propositionnel, algèbres de Boole, calcul des prédicats [texte imprimé] / R. Cori ; Daniel Lascar ; Krivine, Jean-Louis, Préfacier, etc. . - Paris Milan Barcelone Bonn : Masson, 1993 . - xv 385 p.. - (Axiomes collection de logique mathématique, ISSN 1243-4264) .
ISBN : 978-2-225-84079-1
Langues : Français
Mots-clés : logique mathematique calcul propositionnel algebres de boole predicats Index. décimale : 103I Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 11119 103I01 imprimé / autre CRDM 103/DEUG ET MATHEMATIQUES SPECIALES Disponible
Titre : Logique mathématique t.2 : Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles Titre original : Cours et exercices Type de document : texte imprimé Auteurs : R. Cori ; Daniel Lascar ; Krivine, Jean-Louis Editeur : Paris Milan Barcelone Bonn : Masson Année de publication : 1993 Collection : Axiomes collection de logique mathématique, ISSN 1243-4264 Importance : xv - 347 p. ISBN/ISSN/EAN : 978-2-225-84080-7 Langues : Français Mots-clés : logique mathematique fonction recursive theoreme de g? theorie ensemble modele Index. décimale : 103I Logique mathématique t.2 = Cours et exercices : Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles [texte imprimé] / R. Cori ; Daniel Lascar ; Krivine, Jean-Louis . - Paris Milan Barcelone Bonn : Masson, 1993 . - xv - 347 p.. - (Axiomes collection de logique mathématique, ISSN 1243-4264) .
ISBN : 978-2-225-84080-7
Langues : Français
Mots-clés : logique mathematique fonction recursive theoreme de g? theorie ensemble modele Index. décimale : 103I Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 11118 103I02 imprimé / autre CRDM 103/DEUG ET MATHEMATIQUES SPECIALES Disponible
