Logic and declarative language [electronic resource] / Michael Downward.
Publication details: Abingdon, Oxon ; New York : Taylor & Francis, 1998.Description: xix, 362 p. : illISBN:- 9780203211991
- Also available in print edition.

Includes bibliographical references (p. 357-358) and index.
pt. 1. Logic without equality -- pt. 2. Logic with equality.
Also available in print edition.
Electronic reproduction. [London, Eng. : Taylor and Francis, 2013]. PDF file created from digital scan of print book.