1 books for « pabion jean francois »Edit

‎Logique mathématique , préface de Marcel Guillaume‎

‎Hermann , Méthodes Malicorne sur Sarthe, 72, Pays de la Loire, France 1976 Book condition, Etat : Bon broché, sous couverture imprimée éditeur In-8 1 vol. - 295 pages‎

‎ 1ère édition Contents, Chapitres : Table, xxxii, texte, 263 pages - 1. Les matériaux fondamentaux : Le calcul propositionnel - Le calcul des propositions analysées - 2. Etude de la déduction : Théorie de la déduction - Une théorie des ensembles - La complétude sémantique - La théorie des définitions - Applications à la géométrie - Elimination des quantificateurs - Les théorèmes de limitation - Relations et fonctions récursives - Lexique et bibliographie Infime pliure au coin inférieur droit du plat supérieur, quelques traces discretes de passages soulignés au crayon de bois, sinon bon exemplaire, frais et propre‎