Physics Lournal
Powered by
🌱Roam Garden
Agda
Referenced in
Does Time Really Flow?
"The law of the excluded middle is a law of classical logic, claiming that only one statement from
A
A
A
and
¬
A
\neg A
¬
A
is necessarily true, and that the other is necessarily false."
Agda
Agda