A friendly introduction to mathematical logic
By: Christopher C. Leary.
Publisher: Prentice Hall
Published: 2000
Place of publication: Upper Saddle River, N.J
Language: eng
Number of pages: 218
Subjects: Computer logic.; Logic, Symbolic and mathematical.
Notes: Includes bibliographical references and index.