Logique mathematique / lascar deniel  

Public ISBD Titre : Logique mathematique Type de document : texte imprimé Auteurs : lascar deniel, Auteur Editeur : : DUNOD Année de publication : 2003 Importance : 347p Format : 24-17cm ISBN/ISSN/EAN : 978-2-10-005453-4 Note générale : clcul propositionel/algebres de boole/calcul des predicats/ theoremes de complrtude Langues : Français (fre) Mots-clés : les formules propositionnelles, rapples d'algebre et de topologie Index. décimale : 511.3 Résumé : Ce deuxième tome est plus particulièrement consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et à la théorie des ensembles ainsi qu'à la théorie des modèles. En ligne : https://m.media-amazon.com/images/I/41gbydNk0wL._SY385_.jpg Logique mathematique [texte imprimé] / lascar deniel, Auteur . - : DUNOD, 2003 . - 347p ; 24-17cm. ISBN : 978-2-10-005453-4 clcul propositionel/algebres de boole/calcul des predicats/ theoremes de complrtude Langues : Français (fre) Mots-clés : les formules propositionnelles, rapples d'algebre et de topologie Index. décimale : 511.3 Résumé : Ce deuxième tome est plus particulièrement consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et à la théorie des ensembles ainsi qu'à la théorie des modèles. En ligne : https://m.media-amazon.com/images/I/41gbydNk0wL._SY385_.jpg

Réservation

Réserver ce document

Exemplaires(2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
ST1441	ST/511.3-01.1	Livre	Bibliothèque FST	Documentaires	Disponible
ST1442	ST/511.3-01.2	Livre	Bibliothèque FST	Documentaires	Disponible

---

1 (1 - 1 / 1) Par page : 25 50 100 200