PakCat catalogue record Introduction to Mathematical Logic Bibliographic details Publication year1974 Material typeBook Physical description328