Fairouz D. Kamareddine
2 published titles
A modern perspective on type theory : from its origins until today
1 edition
- ISBN: 1402023359
- Kluwer Academic
- 2004
- Details
Logical reasoning : a first course
(Contributor)
1 edition
- ISBN: 095430067x
- King's College Publications
- 2004
- Details
