Fairouz D. Kamareddine
Books
Logical Reasoning
2004
ISBN 9780954300678
Thirty Five Years of Automating Mathematics
2003
ISBN 9789048164400
A modern perspective on type theory
2004
ISBN 9781402023347
Logical Reasoning
2004
ISBN 9780954300678Thirty Five Years of Automating Mathematics
2003
ISBN 9789048164400A modern perspective on type theory
2004
ISBN 9781402023347