The MV-algebra of first order Lukasiewicz logic