[D66] H-axioma's

René Oudeweg roudeweg at gmail.com
Thu Mar 30 19:04:58 CEST 2023


H-axioma's
----------

|–|=H
H = ||
L=T
H ~ (⊤ ⊥)


--p. 10 Dag Nacht, René Oto.


More information about the D66 mailing list