个人名称: | Church, Alonzo,1903-1995. |
---|---|
题名: | Introduction to mathematical logic. |
出版发行项: | Princeton : Princeton University Press, 1956 |
载体形态: | ix,376 p. : 24 cm. |
一般附注: | Vol. 1, "A revised and much enlarged edition of Introduction to mathematical logic ... which was published in 1944 as one of the Annals of mathematics studies." |
一般附注: | Includes indexes. |