I. Mackie
2 published titles
Proof theory and automated deduction
(Contributor)
1 edition
- ISBN: 0792345932
- Kluwer Academic
- 1997
- Details
Semantic techniques in quantum computation
(Contributor)
1 edition
- ISBN: 9780521513746
- Cambridge University Press
- 2010
- Details
