求助屈延文《形式语义学基础与形式说明》  ，信息如下:

【总页数】 496;
【出版社】 北京：科学出版社;
【出版时间】2010.02;
【ISBN号】978-7-03-026238-7.

【总页数】 681页;
【出版社】 北京：科学出版社 ;
【出版时间】1989.12;
【ISBN号】7-03-000606-2.

求助这两本书的PDF文件。其中第一本封面如下


北京大学第二分校出版社 , 1983.