Title: Logique contemporaine et formalisation /
Authors: Martin, Roger.
Publisher: Presses universitaires de France,
Year: 1964
Subjects: Logic, Symbolic and mathematical.