The following pages link to David Makinson (Q185572):
Displaying 8 items.
- (Q5715109) (← links)
- Sets, logic and maths for computing (Q5895536) (← links)
- Sets, logic and maths for computing (Q5900029) (← links)
- Sets, logic and maths for computing (Q5918852) (← links)
- Constraints for input/output logics (Q5935791) (← links)
- A logical analysis of the relationship between commitment and obligation (Q5946342) (← links)
- Subordination algebras as semantic environment of input/output logic (Q6160753) (← links)
- Orlov ninety-six years on: a guide to Ivan Orlov's ``The calculus of the compatibility of propositions'' (Q6560982) (← links)