Remarques sur les fondements des mathématiques
Gertrude Elisabeth Margaret ANSCOMBE, Rush RHEES
Gallimard - 1983
Le Concept de preuve à la lumière de l'intelligence artificielle
Edited by Jean SALLANTIN
Presses Universitaires de France - 1999
Introduction. La preuve à la lumière (?) de l’intelligence artificielle
Jean SALLANTIN
In Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Multiple-Conclusion Logic
D. J. SHOESMITH, Timothy John SMILEY
Cambridge University Press - 1978
The Bayesian Treatment of Auxiliary Hypotheses: Reply to Fitelson and Waterman : Discussions
Michael STREVENS, Jean-Jacques SZCZECINIARZ, Jean-Jacques SZCZECINIARZ
In The British Journal for the Philosophy of Science - 2005
Descartes et Euclide. Le cogito comme ultime preuve
Jean-Jacques SZCZECINIARZ
In Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Des régimes de preuve en langue et discours
Ludwig WITTGENSTEIN, Georg Henrik von WRIGHT
In Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Règles, déduction, grammaire et langage
Ryszard ZUBER
In Le Concept de preuve à la lumière de l'intelligence artificielle - 1999