大拱桥--暨南大学学生门户 » 图书馆 » 证明论(分类号：O141.2)(共4本)

分类依据：系统的一致性-完备性-判定问题入此. <3版类名:元数学(证明论)>

数学证明之美 / (英) 博卡德·波斯特著

8
索取号：O141.2-49/20121
作者：波斯特、贺俊杰、铁红玲、
出版社：长沙 : 湖南科学技术出版社, 2012

Charming proofs : a journey into elegant mathematics

0
索取号：O141.2/E20121
作者：Alsina、 Claudi.、Nelsen、 Roger B.、Mathematical Association of America.、
出版社：Washington, DC : Mathematical Association of America, c2010.

Methode der finiten Elemente : e. Einf. unter bes. Berèucks. d. Rechenpraxis

0
索取号：O141.2/G901
作者：Schwarz、 Hans Rudolf、 1930-、
出版社：Stuttgart : Teubner, 1980.

Introduction to metamathematics

0
索取号：O141.2/E601
作者：Kleene、 Stephen Cole、 1909-、
出版社：Amsterdam : North-Holland Pub. Co. : Groningen : P. Noordhoff N.V., 1952.