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

Notes on logic and set theory

0
索取号：O141/E904
作者：Johnstone、 P. T.、
出版社：Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1987.

Symbolic logic and mechanical theorem proving

0
索取号：O141/E805
作者：Chang、 Chin-Liang、 1937-、Lee、 Richard Char-Tung、 1939- joint author.、
出版社：New York, Academic Press [1973]

The logic book

0
索取号：O141/E905
作者：Bergmann、 Merrie.、Moor、 James、 1942- joint author.、Nelson、 Jack、 1944- joint author.、
出版社：New York : Random House, c1980.

Introduction to symbolic logic

0
索取号：O141/E807
作者：Carney、 James Donald.、
出版社：Englewood Cliffs, N.J. l: Prentice-Hall, [1970].

A mathematical introduction to logic

0
索取号：O141/E808
作者：Enderton、 Herbert B.、
出版社：New York : Academic Press, [1972].

Logic for mathematicians

0
索取号：O141/E809
作者：Hamilton、 A. G.、 1943-、
出版社：Cambridge [Eng.] ; New York : Cambridge University Press, 1978.

Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987

0
索取号：O14-53/E991
作者：Workshop on Logic and Computation (1987 : Carnegie Mellon University)、Sieg、 Wilfried、 1945-、
出版社：Providence, R.I. : American Mathematical Society, c1990.

Elements of logic and foundations of mathematics in problems

0
索取号：O14-44/E901
作者：Marek、 Wiktor.、Onyszkiewicz、 Janusz.、
出版社：Dordrecht, Holland ; Boston, U.S.A. : D. Reidel ; Warszawa : PWN-Polish Scientific Publishers ; Hingham, MA : Distributors for the U.S.A. and Canada, Kluwer Boston, c1982.

Hilbert's third problem

0
索取号：O14/E803
作者：Boltianskii、 V. G. (Vladimir GrigorʹЕvich)、 1925-、
出版社：Washington : Winston ; New York : distributed solely by Halsted Press, 1978.

Intermediate real analysis

0
索取号：O14/E901
作者：Fischer、 Emanuel.、
出版社：New York : Springer-Verlag, c1983.

Mathematics : concrete behavioral foundations

0
索取号：O144-43/E801
作者：Scandura、 Joseph M.、
出版社：New York : Harper & Row, [1971].

Algorithms and order

0
索取号：O144-53/E901
作者：NATO Advanced Study Institute on Algorithms and Order (1987 : Ottawa、 Ont.)、Rival、 Ivan、 1947-、North Atlantic Treaty Organization. Scientific Affairs Division.、
出版社：Dordrecht ; Boston : Kluwer Academic Publishers, c1989.

Set theory

0
索取号：O144/E802
作者：Jech、 Thomas J.、
出版社：New York : Academic Press, 1978.

Exercises in set theory

0
索取号：O144-44/E801
作者：Sigler、 L. E.、
出版社：New York : Springer-Verlag, 1976, c1966.

Mathematical modelling methodology,: models, and micros

0
索取号：O141.4/E902
作者：
出版社：Chichester, West Sussex, England : E. Horwood ; New York : Halsted Press [distributor], 1986.

Mathematical modelling : a source book of case studies

0
索取号：O141.4/E992
作者：
出版社：Oxford [England] ; New York : Oxford University Press, 1990.