Résumé
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.
Caractéristiques
- Format : Poche
- Éditions : PUF
- Auteur : Jean-Pierre Ginisti
- Nombre de pages : 128
- ISBN : 9782130480105
- Date de publication : 4 février 1997
- Dimensions (L x H x E cm) : 12 X 18 X 11.5
- Poids (g) : 525
- Reliure : Broché
Produit indisponible !
Nous n'avons plus d'exemplaire disponible pour le moment mais chaque jour nous remettons plus de 8000 produits en stock.
Produit indisponible !
