Mathematical Logic related by one of the

related by one of the world's great storytellers

Beginning with a brief but fascinating history of copperplate

Reprint of the Bobbs Merrill

books on step-by-step instructions

Twenty Thousand Leagues Under the Sea not only influenced H

Mathematical Logic related by one of theUndergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text. It begins with an elementary but thorough overview of mathematical logic of first order. The treatment extends beyond a single method of formulating logic to offer instruction in a variety of techniques: model theory (truth tables), Hilbert type proof theory, and proof theory handled through derived rules. The second part