谓词逻辑
参考文献
- A. G. Hamilton (1978). Logic for Mathematicians. Cambridge, England: Cambridge University Press. ISBN 0-521-21838-1.
- Abram Aronovic Stolyar (1970). Introduction to Elementary Mathematical Logic. New York, NY; Dover Publications, Inc. ISBN 0-486-64561.
参见
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.