The following pages link to (Q4288052):
Displaying 6 items.
- Herbrand's theorem as higher order recursion (Q1987218) (← links)
- Transition of consistency and satisfiability under language extensions (Q2852156) (← links)
- A GENERALIZATION OF LINDENBAUM'S THEOREM FOR PREDICATE CALCULI (Q3347852) (← links)
- Soundness and completeness of a synthesis algorithm based on example computations (Q3766813) (← links)
- On The Uniqueness of the Lindenbaum Extension (Q3812211) (← links)
- (Q5554974) (← links)