Calculs de signification par une logique d'opérateurs

Saved in:
Bibliographic Details
Main Authors : Desclès Jean-Pierre (Auteur), Guibert Gaëll (Auteur), Sauzay Benoit (Auteur)
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

Holdings details from 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