Language:
كتاب التهجد
19  
Prayer at Night (Tahajjud)
(10)
Chapter: How was the Salat of the Prophet (pbuh) and how many Rak'a he used to offer at night?
(10)
باب كَيْفَ كَانَ صَلاَةُ النَّبِيِّ صلى الله عليه وسلم وَكَمْ كَانَ النَّبِيُّ صَلَّى اللَّهُ عَلَيْهِ وَسَلَّمَ يُصَلِّي مِنَ اللَّيْلِ
Sahih al-Bukhari 1138

Narrated Ibn `Abbas:

The prayer of the Prophet (ﷺ) used to be of thirteen rak`at, i.e. of the night prayer.

حَدَّثَنَا مُسَدَّدٌ، قَالَ حَدَّثَنَا يَحْيَى، عَنْ شُعْبَةَ، قَالَ حَدَّثَنِي أَبُو جَمْرَةَ، عَنِ ابْنِ عَبَّاسٍ ـ رضى الله عنهما ـ قَالَ كَانَ صَلاَةُ النَّبِيِّ صلى الله عليه وسلم ثَلاَثَ عَشْرَةَ رَكْعَةً‏.‏ يَعْنِي بِاللَّيْلِ‏.‏
Reference : Sahih al-Bukhari 1138
In-book reference : Book 19, Hadith 19
USC-MSA web (English) reference : Vol. 2, Book 21, Hadith 239
  (deprecated numbering scheme)