La logique combinatoire

La logique combinatoire

Une présentation de la théorie des combinaisons applicatives, de la théorie des combinateurs élémentaires, de l'algèbre des combinateurs, de la théorie de la fonctionnalité et logique illative, enfin des travaux de Schönfinkel, Curry et Church et un système déviant : la PFL de Qu... + Saiba mais

Descrição

Une présentation de la théorie des combinaisons applicatives, de la
théorie des combinateurs élémentaires, de l'algèbre des combinateurs, de
la théorie de la fonctionnalité et logique illative, enfin des travaux de
Schönfinkel, Curry et Church et un système déviant : la PFL de Quine..
Public motivé
Coleção: Que sais-je?
ISBN: EUR
ISBN13: 9782130480105
Editora: PUF - Presses Universitaires de France
Dimensões: 120 x 180 (LxA)