确定
-
馆藏地
-
- 语言
-
-
文献类型
-
- 形式
-
-
年份
-
-
主题
-
-
作者
-
|
|
|
标题 |
类型 |
作者 |
出处 |
年/期 |
所属馆 |
|
The migration of symbols and their relations to beliefs and customs /
|
图书 |
by Donald A. Mackenzie.
|
K. Paul, Trench, Trubner & Co., Ltd. ;/A. A. Knopf,
|
1926年
|
|
|
the philosophy of numbers :
|
图书 |
by Mrs. L. Dow Balliett...
|
[s.n.],
|
1917年
|
|
|
Symbols in art /
|
图书 |
Matthew Wilson.
|
Thames and Hudson,
|
年
|
|
|
Harmony, the heartbeat of the universe :
|
图书 |
Monique Pommier.
|
Lindisfarne Books,
|
2019年
|
|
|
A survey of mathematical logic.
|
图书 |
|
Science Press,
|
1962年
|
|
|
Logique mathematique appliquee.
|
图书 |
|
Gauthier-Villurs,
|
1958年
|
|
|
A course in mathematical logic /
|
图书 |
by J. L. Bell and M. Machover.
|
North-Holland Pub. Co. ;/sole distributors for the U.S.A. and Canada American Elsevier Pub. Co.,
|
1977年
|
|
|
Mathematical interpretation of formal systems /
|
图书 |
[by] Th. Skolem ... [et al.].
|
North-Holland Pub. Co.,
|
1955年
|
|
|
Grundzüge der mathematischen Logik.
|
图书 |
|
Springer,
|
1961年
|
|
|
Foundations of mathematical logic.
|
图书 |
|
McGraw-Hill
|
1963年
|
|
|
Handbook of mathematical logic /
|
图书 |
edited by Jon Barwise, with the cooperation of H. J. Keisler ... [et al].
|
North-Holland Pub. Co.,
|
1977年
|
|
|
Formal systems and recursive functions :
|
图书 |
ed. by J. N. Crossley, and M. A. E. Dummett.
|
North-Holland Pub. Co.,
|
1965年
|
|
|
Solvable cases of the decision problem.
|
图书 |
|
North-Holland Pub. Co.,
|
1954年
|
|
|
Logic for mathematicians /
|
图书 |
A. G. Hamilton.
|
Cambridge University Press,
|
1978年
|
|
|
No rules logos
|
图书 |
John Stones.
|
Rockport Publishers
|
2009年
|
|
|