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
Sous la direction de Jean SALLANTIN
Presses Universitaires de France - 1999
Introduction. La preuve à la lumière (?) de l’intelligence artificielle
Jean SALLANTIN
Dans 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
Dans The British Journal for the Philosophy of Science - 2005
Descartes et Euclide. Le cogito comme ultime preuve
Jean-Jacques SZCZECINIARZ
Dans 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
Dans Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Règles, déduction, grammaire et langage
Ryszard ZUBER
Dans Le Concept de preuve à la lumière de l'intelligence artificielle - 1999