Guha AND First-order logic
Common descendants
1 Document
2021-06-10 About