Mechanizing logic I, map logic extended formally to relational arguments & Mechanizing logic II, automated map logic method for relational arguments on paper and by computer
By: John Rybak & Janet Rybak.
Contributors: Rybak, Janet M.
Publisher: J. & J. Rybak
Published: 1983
Place of publication: Sydney
Language: eng
Number of pages: 25
Subjects: Logic -- Addresses, essays, lectures
Other titles: Mechanizing logic I, map logic extended formally to relational arguments.; Mechanizing logic II, automated map logic method for relational arguments on paper and by computer.; Mechanizing logic 1 & 2.; Mechanizing logic 1 and 2.
Notes: Includes bibliographical references.
Cover title: Mechanizing logic 1 & 2.