Le Leibniz de Couturat et le Leibniz de Russell
Jean-Pascal ANFRAY
In Louis Couturat (1868-1914) - 2017
Introduction à la logique contemporaine
Robert BLANCHÉ
Armand Colin - 1957
Tense and tense logic
John E. CLIFFORD
Mouton - 1975
Œuvres philosophiques : Écrits logiques
[s.n.]
Le Cerf - 2006
La Philosophie des mathématiques de Kant
Louis COUTURAT
Manucius - 2004
Outils logiques pour l'intelligence artificielle
Jean-Paul DELAHAYE
Eyrolles - 1986
Opération, fonction et signification de Boole à Frege. Le basculement des mathématiques vers la logique au XIXe siècle
Marie-José DURAND-RICHARD
In Cahiers critiques de la philosophie - 2007
Écrits posthumes
Gottlob FREGE, Hans HERMES, Friedrich KAMBARTEL, et al.
J. Chambon - 1999
Uncertain Inference
Henry Ely KYBURG
Cambridge University Press - 2001
Logique
[s.n.]
Presses Universitaires de France - 1990
Genèse de quelques nouvelles sciences : de l'intelligence artificielle aux sciences de la cognition
Bernard RUYER
In Intelligence des mécanismes, mécanismes de l'intelligence - 1986
Logic, semantics, metamathematics : Papers from 1923 to 1938
Alfred TARSKI, Choh Man TENG, Pierre THIBAUD, et al.
Clarendon Press - 1956
Leçons sur la première philosophie de Russell
Jules VUILLEMIN
Armand Colin - 1968