-
西文图书1.Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt G鑟del / O142/E3
馆藏复本:1
可借复本:1 Andrzej Mostowski.
North-Holland Pub. Co., 1952.
(0) 馆藏 -
西文图书2.Boolean semantics for natural language / H087/1E
馆藏复本:1
可借复本:1 Edward L. Keenan and Leonard M. Faltz.
D. Reidel Pub. Co. ; c1985.
(0) 馆藏 -
西文图书3.Elements of formal semantics : an introduction to logic for students of language / H313/8E
馆藏复本:1
可借复本:1 John N. Martin.
Academic Press, 1987.
(0) 馆藏 -
西文图书4.Logic, semantics, metamathematics : papers from 1923 to 1938 / O141.2/E1
馆藏复本:1
可借复本:1 by Alfred Tarski ; translated by J.H. Woodger.
Hackett Pub. Co., c1983.
(0) 馆藏