zeroth-order logic (Q8069651)
first-order logic without variables or quantifiers
Language:
other details
description first-order logic without variables or quantifiers

External Links
(P646) /m/09x6yj
(P6366) 110039528
(P10283) C110039528