Bulletin Of The Section Of Logic