logic

Computability and Logic

ComputabilityandLogichasbecomeaclassicbecauseofitsaccessibilitytostudentswithoutamathematicalbackgroundandbecauseitcoversnotsimplythestapletopicsofanintermediatelogiccour