次の日本語には間違っている部分があります。その部分を直して、正しい日本語の文を出力してください。
２００７年に第１作『数学ガール』が刊行され、２００８年に第２作『数学ガール・フェルマーの最終定理』、２００９年に第３作『数学ガール・ゲーデルの不完全性定理』、２０１１年に第４作『乱択アリゴリズム』が刊行された。
２００７年に第１作『数学ガール』が刊行され、２００８年に第２作『数学ガール・フェルマーの最終定理』、２００９年に第３作『数学ガール・ゲーデルの不完全性定理』、２０１１年に第４作『乱択アルゴリズム』が刊行された。