PakCat catalogue record introduction to mathematical logic By Mendelson Bibliographic details PublisherWadsworth advance books of software california Publication year1981 Material typeBook Physical descriptionvii+328