Mathematical Logic by Stephen Cole Kleene (Dover Books on Mathematics)

Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text. It begins with …