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.

CARM 1 Store

Holdings details from CARM 1 Store
Call Number: A2:AM35E0 D05267
Copy 1 Available  Place a Hold

Similar Items