La logique combinatoire

Front Cover
Presses universitaires de France, 1997 - Algebra, Boolean - 126 pages
0 Reviews
Un court exposé partagé en six chapitres: Théorie des combinaisons applicatives - Théorie des combinateurs élémentaires - Algèbre des combinateurs et applications - Règles, paradoxes et prélogique - Théorie de la fonctionnalité et logique illative - La PFL de Quine. [SDM].

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Théorie des combinaisons applicatives
3
Théorie des combinateurs élémentaires
22
Algèbre des combinateurs et applications
41
Copyright

6 other sections not shown

Common terms and phrases

Bibliographic information