[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
Re: Hyperbook Question 6.4
From
: Leslie Lamport <
tlapl...@xxxxxxxxx
>
Date
: Tue, 1 Dec 2015 14:32:26 -0800 (PST)
References
: <
1bb4f7e9-ffc4-45ee-af7a-a1035168b414@googlegroups.com
>
Dear Charles,
The "template"
iff X, then Y
makes no sense to me as a complete clause, and I don't think any mathematician would write it.
Leslie
References
:
Hyperbook Question 6.4
From:
Charles Gordon
Prev by Date:
Re: Hyperbook Question 6.4
Next by Date:
The effect of symmetry sets on TLC performance
Previous by thread:
Re: Hyperbook Question 6.4
Next by thread:
TLC code
Index(es):
Date
Thread