F.D. Kamareddine – författare
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 449 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 519 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 819 kr
Skickas inom 10-15 vardagar