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 I : map logic extended formally to relational arguments ; &, Mechanizing logic II : automated map logic method for relational arguments on paper and by computer /

Saved in:
Bibliographic Details
Main Author: Rybak, John S. (John Sydney)
Other Authors: Rybak, Janet M. (Janet Margaret)
Format: Book
Language:English
Published: Denistone, N.S.W. : J. Rybak, 1983.
Subjects:
Logic, Symbolic and mathematical.
Description
Item Description:Cover title: Mechanizing logic 1 & 2.
Available from Mr J. Rybak, 8 Stratford Avenue, Denistone, N.S.W. 2114.
Physical Description:25, 24 p. : ill. ; 29 cm.
Bibliography:Includes bibliographical references.
ISBN:0959857613 :

Similar Items