Can someone recommend me a book for self study which will cover topics of logic, lambda calculus and type theory. I know about "Computability and Logic" written by Bolos but it describe recursive function as a model of computation and does no cove type theory.
If there is no singe book I would like to read some book which would build a bridge between those topics.
Best Answer
I found some good book on those topics. This book has exercises with solution so it is perfect for self studying. The book is "Lambda-Calculus and Combinators an Introduction" by J. Roger Hindley, Jonathan P. Seldin. Link for more info http://www.cambridge.org/us/knowledge/isbn/item1175709/?site_locale=en_US