All Questions
Tagged with first-order-logic metatheory
1
question
3
votes
2
answers
204
views
Enumerating all formulae of any first-order language
I'm formalizing the metatheory of first-order logic with Coq.
I want to enumerate all expressions of any first-order language.
The syntax of terms and formulae are:
...