La logique combinatoire - Jean-Pierre Ginisti
25,00 €
TTC
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é.
-
Envoi soigné et rapide. Possibilité de règlement par chèque.
-
Politique retours - voir la page Livraison
-
Retrait en magasin sans frais.
-
Port gratuit à partir de 50 euros d'achat