F.D. Kamareddine - Böcker
Visar alla böcker från författaren F.D. Kamareddine.
4 produkter
4 produkter
Del 28 - Applied Logic Series
Thirty Five Years of Automating Mathematics
Inbunden, Engelska, 2003
1 419 kr
Skickas inom 7-10 vardagar
Del 29 - Applied Logic Series
Modern Perspective on Type Theory
Av F.D. Kamareddine, T. Laan, Rob Nederpelt, F. D. Kamareddine
Inbunden, Engelska, 2004
2 529 kr
Skickas inom 7-10 vardagar
Del 28 - Applied Logic Series
Thirty Five Years of Automating Mathematics
Häftad, Engelska, 2010
1 419 kr
Skickas inom 7-10 vardagar
Del 29 - Applied Logic Series
Modern Perspective on Type Theory
Av F.D. Kamareddine, T. Laan, Rob Nederpelt, F. D. Kamareddine
Häftad, Engelska, 2010
1 849 kr
Skickas inom 7-10 vardagar