Télécharger le livre :  Introduction aux calculs des séquents
Manuel de logique moderne classique pour étudiants et chercheurs du supérieur, cet ouvrage présente la méthode du calcul des séquents (les groupes L). Celle-ci est une méthode de décision syntaxique ou une théorie de la démonstration utilisée par Joseph Dopp pour...

Editeur : Academia
Parution : 2024-01-30
Collection : Pédasup PDF

11,99

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Analyse infinitésimale
Basé sur les raisonnements infinitésimaux des mathématiciens du 17eme siècle, cet ouvrage se propose de redécouvrir le calcul différentiel suivant une approche très intuitive mais rendue rigoureuse par la théorie de l'analyse non standard publiée pour la première fois...

Editeur : Academia
Parution : 2008-10-28
Collection : Pédasup PDF

17,99

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Manuel de stylistique
Cet ouvrage retrace l'histoire de la musique occidentale de l'Antiquité tardive à nos jours, en s'attachant aux compositeurs et aux courants les plus remarquables de chaque période. Les nombreux repères chronologiques et biographiques, ainsi que les parties thématiques,...

Editeur : Academia
Parution : 2004-01-14
Collection : Pédasup PDF

24,99

Téléchargement immédiat
Dès validation de votre commande