Les tableaux de Beth : syntaxe ou sémantique ?
Philippe de ROUILHAN
Dans Philosophia Scientiae. Travaux d’histoire et de philosophie des sciences - 1999
Les cadres probatoires
Jean SALLANTIN
Dans Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Du temps sensible de Whitehead aux S-langages
Sylviane R. SCHWER
Dans Les principes de la connaissance naturelle d’Alfred North Whitehead - 2007