We leave checking C1 to C3 as an exercise to the reader — the proofs are very similar to those in part (i).
past-me, annoying now-me and future-me
Schlagwort: Logik
Lesexercise.
ControlMaster, not LogicMaster.
If set to yes or 0, then ...
聪明.
Sometimes all I understand is my own name.
Zukunnftnisse.
Sometimes it is good to know something about the future.
a logician
Neverending Story.
Het mooie van logica, van wetenschap in het algemeen, is dat het groter is dan jezelf: je kunt je er altijd in blijven ontwikkelen.