Proofs and Algorithms: An Introduction to Logic and Computability (Undergraduate Topics in Computer Science)

Graph Theory: An Introduction to Proofs, Algorithms, and Applications (Discrete Mathematics and Its Applications)

INTRODUCTION TO ALGORITHMS: Understanding Data Structures and Algorithms

Algorithms: a concise introduction

Introduction to Algorithms, fourth edition