A80

Related Documents
(none)
Related Theorems
(none)
Equivalence Assertions
(none)
Related Subjects
(none)
Favorite Subjects
(none)
A80: ∀x: someone who accepts A79, (x)⇒ someone who accepts A77, (x)
By User 1 on on 2011-09-13

Create a theorem from this assertion.

Related Assertions
(none)

0 Comments on A80

No comments yet.

add a comment