大拱桥--暨南大学学生门户 » 图书馆 » 数理逻辑-数学基础(分类号：O14)(共382本)

Algorithmics : theory and practice

0
索取号：O141.3/E909
作者：Brassard、 Gilles、 1955-、Bratley、 Paul.、
出版社：Englewood Cliffs, N.J : Prentice Hall, c1988.

Constructive analysis

0
索取号：O141.3/E902
作者：Bishop、 Errett、 1928-1983.、Bridges、 D. S. (Douglas S.)、 1945-、Bishop、 Errett、 1928-1983. Foundations of constructive analysis.、
出版社：Berlin ; New York : Springer-Verlag, c1985.

Recursion theory

0
索取号：O141.3/E903
作者：
出版社：Providence, R.I. : American Mathematical Society, 1985.

Recursion-theoretic hierarchies

0
索取号：O141.3/E801
作者：Hinman、 Peter G.、
出版社：Berlin ; New York : Springer-Verlag, 1978.

Introduction to computability

0
索取号：O141.3/E802
作者：Hennie、 Frederick C.、
出版社：Reading, Mass. : Addison-Wesley Pub. Co., c1977.

Model-theoretic logics

0
索取号：O141.1/E901
作者：
出版社：New York : Springer-Verlag, c1985.

Set theory : an introduction to independence proofs

0
索取号：O141-55/E903
作者：Kunen、 Kenneth.、
出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980.

Computability, complexity, logic

0
索取号：O141-55/E902
作者：B̈Оrger、 E. (Egon)、 1946-、
出版社：Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A : Distributors for the U.S.A. and Canada : Elsevier Science Pub. Co., 1989.

Generalized recursion theory II : proceedings of the 1977 Oslo symposium

0
索取号：O141-55/E803/2
作者：Symposium on Generalized Recursion Theory、 2d、 University of Oslo、 1977.、Fenstad、 Jens Erik.、Gandy、 R. O.、Sacks、 Gerald E.、
出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1978.

Handbook of mathematical logic

0
索取号：O141-55/E801
作者：
出版社：Amsterdam ; New York : North-Holland Pub. Co., 1977.

Algebra of proofs

0
索取号：O141-55/E802
作者：Szabo、 M. E.、
出版社：Amsterdam ; New York : North-Holland Pub. Co. : New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1978.

Algebra of conscience : a comparative analysis of Western and Soviet ethical systems

0
索取号：O141/E902
作者：Lefebvre、 Vladimir A.、
出版社：Dordrecht, Holland ; Boston U.S.A. : D. Reidel Pub. Co. ; Hingham, MA : Sold and distributed in the U.S.A. and Canada by Kluwer Boston, c1982.

Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da Costa

0
索取号：O141/E803
作者：
出版社：New York : M. Dekker, c1985.

Formal philosophy : selected papers of Richard Montague

0
索取号：O141/E802
作者：Montague、 Richard、 1930-1971.、
出版社：New Haven, Yale University Press, 1974.

Introduction to mathematical logic : set theory, computable functions, model theory

0
索取号：O141/E804
作者：Malitz、 Jerome.、
出版社：New York : Springer-Verlag, c1979.

Degrees of unsolvability : local and global theory

0
索取号：O141/E903
作者：Lerman、 M. (Manuel)、 1943-、
出版社：Berlin ; New York : Springer-Verlag, 1983.