Next
Introduction à la logique standard : calcul des propositions des prédicats & des relations / Denis Vernant. Vernant, Denis.
Paris : Flammarion, c2001.
447 p. : ill. ; 18 cm.