Next:
Généralité et histoire
Up:
No Title
Previous:
La sémantique de Scott
La thèse de Church
Généralité et histoire
La thèse de Church entraîne l'incomplétude de Gödel
La thèse de Church intensionnelle
La thèse de Church permet de réhabiliter une ``philosophie de Pythagore"
Next:
Généralité et histoire
Up:
No Title
Previous:
La sémantique de Scott
Bruno Marchal
Thu Apr 1 00:14:24 CEST 1999
