Logique
une collection de livres pour ceux qui s'intéressent à la logique formelle
pas d'ordre de lecture, l'ordre n'est pas ascendant en complexité
Pour apprendre, préférez lire ce manuel : https://forallx.openlogicproject.org/html/index.html
First-Order Modal Logic (1998)
Sortie : 1998. Guide & manuel, Philosophie, Sciences
livre de Melvin Fitting et Richard L. Mendelsohn
La Logique des noms propres (1980)
Naming and Necessity
Sortie : 1 février 1982 (France). Essai, Philosophie
livre de Saul Kripke
Logique mathématique, tome 1 : Calcul propositionnel, algèbre de Boole, calcul des prédicats (2003)
Sortie : 15 janvier 2003. Essai
livre de Daniel Lascar et René Cori
Logique mathématique t.2
Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles
Sortie : 2020 (France). Guide & manuel, Sciences
livre de René Cori et Daniel Lascar
Philosophie de la logique
Conséquence, preuve et vérité
Sortie : 26 janvier 2009 (France). Anthologie, Philosophie
livre de Denis Bonnay et Mikaël Cozic
XavierXavi a mis 7/10.
Elements of Logic - Collected Papers, volume 2 (1932)
Sortie : 1932. Essai
livre de Charles Sanders Peirce
Exact Logic (Published Papers) - Collected Papers, volume 3 (1933)
Sortie : 1933. Essai
livre de Charles Sanders Peirce
Logique et Philosophie
Manuel d'introduction pour les étudiants du supérieur
Sortie : 9 décembre 2014 (France). Philosophie
livre de Pierre Wagner
XavierXavi a mis 6/10.
Philosophie de la logique (2021)
Précis de philosophie de la logique et des mathématiques, tome 1
Sortie : 27 mai 2021. Guide & manuel, Philosophie, Sciences
livre
XavierXavi a mis 6/10.
Philosophie de la logique (1986)
Philosophy of Logic, Second Edition
Sortie : janvier 2008 (France). Essai, Philosophie
livre de Willard Van Orman Quine
Du point de vue logique (1953)
Neuf essais logico-philosophiques
From a Logical Point of View: Nine Logico-Philosophical Essays
Sortie : décembre 2003 (France). Essai, Philosophie
livre de Willard Van Orman Quine
Logique élémentaire (1941)
Elementary Logic
Sortie : 1972 (France). Essai, Philosophie
livre de Willard Van Orman Quine
Introduction à la logique standard (2001)
Calcul des propositions, des prédicats et des relations
Sortie : 12 octobre 2011 (France). Essai, Sciences
livre de Denis Vernant
