大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Boolos 的图书(共3本)

The unprovability of consistency : an essay in modal logic

0
索取号：O141.4/E803
作者：Boolos、 George.、
出版社：Cambridge ; New York : Cambridge University Press, 1979.

Computability and logic = 可计算性与数理逻辑

0
索取号：O141.3/E20071.4
作者：Boolos、 George.、Burgess、 John P.、 1948-、Jeffrey、 Richard C.、
出版社：Beijing : Pub. House of Electronic Industry, 2003.

Computability and logic

0
索取号：O141/E20041.4
作者：Boolos、 George.、Burgess、 John P.、 1948-、Jeffrey、 Richard C.、
出版社：Cambridge : Cambridge University Press, 2002.