John Rybak

发表

Mechanizing logic. II. Automated map logic method for relational arguments on paper and by computer

Janet Rybak, John Rybak, 1984, Notre Dame J. Formal Log..

Mechanizing logic. I. Map logic extended formally to relational arguments

Janet Rybak, John Rybak, 1984, Notre Dame J. Formal Log..

Venn diagrams extended: map logic

Janet Rybak, John Rybak, 1976, Notre Dame J. Formal Log..