How To Use LAME Encoder To Export MP3 Files With Audacity Editor
Export Multiple - Audacity Manual
Other uncompressed files Export Options - Audacity Manual
Libraries Preferences - Audacity Manual
Audacity tutorial: Converting to mp3 or AAC and other formats, example: Matthew Smith - epic orchestral synth music for film and game effects; Buanzo's LAME mp3 library