Un cours systématique de logique de premier niveau (2 volumes) pour les étudiants en philosophie. Ce livre présente une technique de déduction naturelle, et donne une compréhension intuitive et minutieuse de la métathéorie de logique élémentaire. Professeur Blum, l’un des plus éminents logiciens philosophiques, enseigne au département de philosophie de l’Université Bar-Ilan, en Israël.
