Abécédaire

Introduction à la logique contemporaine

Robert BLANCHÉ
Éditeur : Armand Colin - 1957

Logique

Bernard RUYER
Éditeur : Presses Universitaires de France - 1990

Œuvres philosophiques : Écrits logiques

Charles Sanders PEIRCE
Sous la direction de Claudine TIERCELIN, Pierre THIBAUD
Éditeur : Le Cerf - 2006

La Philosophie des mathématiques de Kant

Louis COUTURAT
Éditeur : Manucius - 2004

Écrits posthumes

Gottlob FREGE
Sous la direction de Hans HERMES, Friedrich KAMBARTEL, Friedrich KAULBACH
Éditeur : J. Chambon - 1999

Tense and tense logic

John E. CLIFFORD
Éditeur : Mouton - 1975

Opération, fonction et signification de Boole à Frege. Le basculement des mathématiques vers la logique au XIXe siècle

Marie-José DURAND-RICHARD

Sous la direction de Bruno CANY
Dans Cahiers critiques de la philosophie - 2007

Outils logiques pour l'intelligence artificielle

Jean-Paul DELAHAYE
Éditeur : Eyrolles - 1986

Genèse de quelques nouvelles sciences : de l'intelligence artificielle aux sciences de la cognition

Jean-Louis LE MOIGNE

Sous la direction de Jean-Louis LE MOIGNE
Dans Intelligence des mécanismes, mécanismes de l'intelligence - 1986

Leçons sur la première philosophie de Russell

Jules VUILLEMIN
Éditeur : Armand Colin - 1968

Uncertain Inference

Henry Ely KYBURG, Choh Man TENG
Éditeur : Cambridge University Press - 2001

Logic, semantics, metamathematics : Papers from 1923 to 1938

Alfred TARSKI
Éditeur : Clarendon Press - 1956

Le Leibniz de Couturat et le Leibniz de Russell

Jean-Pascal ANFRAY

Sous la direction de Sophie ROUX, Michel FICHANT
Dans Louis Couturat (1868-1914) - 2017