| Title: | 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
(buy from Amazon )
|
| Author: | John S Rybak, Janet M Rybak (books written by John S Rybak, Janet M Rybak) |
| Year: | 1983 |
| ISBN-10: | 0-9598576-1-3 / 0959857613 (similar ISBNs) |
| ISBN-13/EAN: | 9780959857610 |
| Tags: | arguments automated computer extended formally janet john logic mechanizing method paper relational rybak |
| Previous book: | Mechanizing hypothesis formation: mathematical foundations for a general theory |
| Next book: | Mechanizing mathematical reasoning: essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday |
|
 |