quanttype
,
about
,
archive
,
subscribe
What is first-order logic?
(2017-08-28)