By no means a textbook, just a barely-edited book-length anthology of primary sources I put together, but let me plug my own:
Finite of Sense and Infinite of Thought: A History of Computation, Logic and Algebra
Finite of Sense and Infinite of Thought: A History of Computation, Logic and Algebra