F.D. Kamareddine – författare
Visar alla böcker från författaren .
4 produkter
4 produkter
Del 28 - Applied Logic Series
Thirty Five Years of Automating Mathematics
Inbunden, Engelska, 2003
1 459 kr
Skickas inom 10-15 vardagar
Del 29 - Applied Logic Series
Modern Perspective on Type Theory
From its Origins until Today
Inbunden, Engelska, 2004
2 539 kr
Skickas inom 10-15 vardagar
Del 28 - Applied Logic Series
Thirty Five Years of Automating Mathematics
Häftad, Engelska, 2010
1 409 kr
Skickas inom 10-15 vardagar
Del 29 - Applied Logic Series
Modern Perspective on Type Theory
From its Origins until Today
Häftad, Engelska, 2010
1 829 kr
Skickas inom 10-15 vardagar