Nantilus
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 |
BU Sciences
| | Cote | Prêt | Statut |
|---|---|---|---|
| Rez-de-chaussée, salle 2 | 511.3 DES | Empruntable | Disponible |
| Rez-de-chaussée, salle 2 | 511.3 DES | Empruntable | Disponible |