题名:数理逻辑 : 基本原理与形式演算
作者:李未著
出版年:2014
ISBN: 978-7-03-040155-7
分类号: O141
中图分类: 数理逻辑（符号逻辑）
定价: CNY 98.00
页数: 289 页
出版社: 科学出版社
装订: 精装