题名	责任者	出版社	索书号
电磁场理论形式逻辑分析	杨本洛著	上海交通大学出版社	O441.4-53/453