Logic, semantics, metamathematics : Papers from 1923 to 1938
[s.n.]
Clarendon Press - 1956
Cybernétique : Information et régulation dans le vivant et la machine
Norbert WIENER
Seuil - 2014
Leçons sur la première philosophie de Russell
Jules VUILLEMIN
Armand Colin - 1968
Uncertain Inference
Choh Man TENG, Alfred TARSKI
Cambridge University Press - 2001
Études sur le réalisme mathématique : Thèse de doctorat : Philosophie : Université Paris 1 – Panthéon-Sorbonne : 2004, sous la direction d'Hourya Sinacoeur
Xavier SABATIER
2004
Logique mathématique
Jean-François PABION
Hermann - 1976
Un univers différent
Henry Ely KYBURG
Fayard - 2005
Mathematical Logic
Stephen Cole KLEENE
Wiley - 1967
Leibniz et la mathématique formelle
Vincent GÉRARD
Dans Philosophie - 2007
Outils logiques pour l'intelligence artificielle
Jean-Paul DELAHAYE
Eyrolles - 1986
Tense and tense logic
John E. CLIFFORD
Mouton - 1975
Mathematical Thought : An Introduction to the Philosophy of Mathematics
Evert Willem BETH
Springer Science+Business Media B.V. - 1965