Mon compte Ma liste - 0
	Catalogue   Ressources numériques   Nouveautés   Liens utiles   Mon compte

Recherche rapide Recherche avancée Recherche alphabétique Historique Information

Recherche  AuteurTitreSujetTitre de revueCollectionEditeurNoteTous motsISBNPPN       Modifier la recherche   > CERGY

Résultats de recherche  8 résultat(s) pour  Logique mathématique non classique

Trier par: Choisissez...Aucun(e)AuteursTitresEditeursType de document Date d'édition croissanteDate d'édition décroissanteHIP titre Abreg inverse    Limiter par: Type de document --Livres imprimés --Revues papier --Thèses --Vidéos / DVD --Documents électroniques --Cartes --ArticlesBibliothèque --Cerclades --Chênes --Neuville --St Martin --Argenteuil --Sarcelles --Ensea --Antony --Cergy-Hirsch --Saint-Germain-en-Laye --GennevilliersLangue --Anglais --Français --Allemand --Italien --Japonais --Portugais --Espagnol

 

---

1. Introduction pratique aux logiques non classiques : avec exercices corrigés Bernadet , Maurice , 19..-.... , ingénieur Hermann -- impr. 2011, cop. 2011      2. Interval/probabilistic uncertainty and non-classical logics Springer -- cop. 2008      3. Langage, logique, démonstrations : et vérité mathématique Condamine , Marcel Ed. Aguer : [diff.] Delagrave , DL 1996      4. 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 Cori , René 2e tirage corrigé Masson , 1994      5. Logique mathématique : cours et exercices . 1 . Calcul propositionnel, algèbres de Boole, calcul des prédicats Cori , René 2e tirage corrigé Masson , 1994      6. Logiques non monotones et intelligence artificielle Grégoire , Eric Hermès -- impr. 1990      7. Theorems and counterexamples in mathematics Gelbaum , Bernard R. Springer-Verlag -- cop. 1990      8. Éléments de logique mathématique : logique des propositions Varga , Tamás , 1919-1987 OCDL

Ma liste : (ex. 1,2 ou 5-20, max. 100)

Pour toute question, contactez la bibliothèque

Horizon Information Portal 3.25_france_v1m© 2001-2019 SirsiDynix Tous droits réservés.