Computability and Logic: Abacus Computability