Introduction To Mathematical Logic (pms-13)

One of the pioneers of mathematical logic in the 20th century was Alonzo Church. He introduced such concepts as the lambda calculus, now an essential tool of co... » 

One of the pioneers of mathematical logic in the 20th century was Alonzo Church. He introduced such concepts as the lambda calculus, now an essential tool of computer science and was the founder of the Journal of Symbolic Logic. This book presents an overview of the subject. «