《数理逻辑引论》是2011年哈尔滨工业大学出版社出版的图书，作者是李涛。