The following pages link to Six Papers in Logic (Q3745766):
Displaying 4 items.
- On the complexity of shortest disjunctive normal forms of Boolean functions (Q3745767) (← links)
- Arithmetically complete modal theories (Q3752370) (← links)
- Solution of the problem of finite axiomatizability for theories that are categorical in all infinite powers (Q3753987) (← links)
- On theories with a basis (Q4722048) (← links)
