Ask HN: Book recommendations about Alonzo Church and his calculus

I'm interested in learning more about Alonzo Church—both biographically and regarding the lambda calculus.

I'm wondering if there are any good books about his life, and as I'm sure there are many good references exploring the lambda calculus and Church numerals, a few highlights exploring those topics as well.

Thanks!