Calculs de signification par une logique d'opérateurs
Saved in:
Main Authors : | , , |
---|---|
Format : | Book |
Language : | français |
Title statement : | Calculs de signification par une logique d'opérateurs / Jean-Pierre Desclés, Gaëll Guibert, Benoît Sauzay |
Published : |
Toulouse :
Cépaduès-éditions
, DL 2016 |
Physical Description : | 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 |
Subjects : | |
Related Items : | Related to:
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 |
BU Sciences
Location | Call Number | Loan type | Status |
---|---|---|---|
Rez-de-chaussée, salle 2 | 511.3 DES | Empruntable | Available |
Rez-de-chaussée, salle 2 | 511.3 DES | Empruntable | Available |