Logique mathématique t.1 / R. Cori

Public ISBD 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

Logique mathématique t.2 / R. Cori

Public ISBD 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

---

page 1/1