书目

Mathematical Logic

内容简介

Thisintroductiontofirst-orderlogicclearlyworksouttheroleoffirst-orderlogicinthefoundationsofmathematics,particularlythetwobasicquestionsoftherangeoftheaxiomaticmethodandoftheorem-provingbymachines.Itcoversseveraladvan

—  END  —