First-order logic
Subtitle: an introduction
By: Leigh S. Cauman.
Publisher: Walter de Gruyter
Published: 1998
Place of publication: Berlin; New York
Language: eng
Number of pages: 343
Subjects: First-order logic.
Notes: Includes bibliographical references and index.