

De la théorie des combinaisons applicatives à un système déviant : la PFL de Quine.
Collection Que sais-je n°3205. 126 pages. 1997. Par J-P Ginisti, professeur à l'Université Lyon III Jean-Moulin.
Théorie des combinaisons applicatives / Théorie des combinateurs élémentaires / Algèbre des combinateurs et applications / Schönfinkel, Curry et Church, paradoxes et prélogique / Théorie de la fonctionnalité et logique illative / Un système déviant, la PFL de Quine.
Etat neuf, à part un tout petit accroc sans manque sur la couverture. Envoi très soigné.