Introduction à la logique standard 
Subtitle: Calcul des propositions, des prédicats et des relations
Publisher: Flammarion
Published: September 11, 2001
Language: fre
Format: Mass Market Paperback
ISBN-13: 9782080830272