Calculs de signification par une logique d'opérateurs
Enregistré dans:
Auteurs principaux : | , , |
---|---|
Format : | Livre |
Langue : | français |
Titre complet : | Calculs de signification par une logique d'opérateurs / Jean-Pierre Desclés, Gaëll Guibert, Benoît Sauzay |
Publié : |
Toulouse :
Cépaduès-éditions
, DL 2016 |
Description matérielle : | 2 vol. (651 p.) |
Comprend : | Vers une logique d'opérateurs - vol. 1 Concepts et schèmes analysés par la logique combinatoire - vol. 2 |
Sujets : | |
Documents associés : | En relation avec:
Logique combinatoire et [lambda]-calcul Ces deux tomes constituent le volume II d'une réflexion sur la logique d'opérateurs, rédigé par les mêmes auteurs. Volume I sur le même thème : "Logique combinatoire et -calcul : des logiques d'opérateurs" ISBN : 978-2-36493-530-3 |
Notes : | Ces deux tomes constituent le volume II d'une réflexion sur la logique d'opérateurs, rédigé par les mêmes auteurs. Volume I sur le même thème : "Logique combinatoire et -calcul : des logiques d'opérateurs" ISBN : 978-2-36493-530-3 |
---|---|
Bibliographie : | Bibliographie p. [607]-636. Notes bibliographiques. Index |
ISBN : | 978-2-36493-575-4 |