The following pages link to (Q3227562):
Displayed 5 items.
- An efficient method for eliminating varying predicates from a circumscription (Q1193478) (← links)
- Relations in monadic third-order logic (Q1372940) (← links)
- Jean van Heijenoort's contributions to proof theory and its history (Q1942094) (← links)
- Perspectives on the logical study of language (Q2334650) (← links)
- Model Theory for the Higher Order Predicate Calculus (Q3260562) (← links)