Computability and logic
Boolos, S, George
Computability and logic - 5th edi - New york Cambridge university press 2007.
Mathematicals logic
511.352 BOO
Computability and logic - 5th edi - New york Cambridge university press 2007.
Mathematicals logic
511.352 BOO