Détail de l'éditeur
Documents disponibles chez cet éditeur (2)
Affiner la recherche Interroger des sources externes
texte imprimé
Si l'algèbre est la branche des mathématiques consacrée à l'étude des ensembles structurés à partir d'opérations élémentaires (addition, multiplication, multiplication scalaire...), l'arithmétique est celle qui se préoccupe de la connaissance la[...]Nouveauté
![Logique combinatoire et [lambda]-calcul](https://biblio.estin.dz/getimage.php?url_image=http%3A%2F%2Fimages-eu.amazon.com%2Fimages%2FP%2F%21%21isbn%21%21.08.MZZZZZZZ.jpg¬icecode=9782364935303¬ice_id=198&vigurl=)
texte imprimé
Jean-Pierre Desclès, Auteur ; Gaëll Guibert, Auteur ; Benoît Sauzay, Auteur | Toulouse : Cépaduès-Editions | DL 2016Le but de cet ouvrage est de présenter la Logique Combinatoire développée principalement par Curry. Pour les auteurs, la Logique Combinatoire est pensée comme une logique d'opérateurs, de composition et de transformations intrinsèques d'opérateu[...]
