The following pages link to (Q4894127):
Displaying 13 items.
- Mathematical logic. An introduction (to appear) (Q2101369) (← links)
- On representations of intended structures in foundational theories (Q2121479) (← links)
- On distinguishing sets of structures by first-order sentences of minimal quantifier rank (Q2333677) (← links)
- Introduction to logic (Q2843868) (← links)
- (Q3083003) (← links)
- (Q3250587) (← links)
- (Q3413438) (← links)
- Towards a classification of defaults logics (Q4380300) (← links)
- (Q4729754) (← links)
- The Compositional Method and Regular Reachability (Q4982089) (← links)
- APPROXIMATING TREES AS COLOURED LINEAR ORDERS AND COMPLETE AXIOMATISATIONS OF SOME CLASSES OF TREES (Q5015724) (← links)
- (Q5089242) (← links)
- (Q5586197) (← links)