数理逻辑引论 = Introduction to mathematical logic
Saved in:
Main Authors: | ; ; ; |
---|---|
Published: |
大连理工大学出版社
|
Publisher Address: | 大连 |
Publication Dates: | 2023 |
Literature type: | Book |
Language: | Chinese |
Edition: | 2版 |
Subjects: | |
Carrier Form: | 263页: ; 24cm |
ISBN: | 978-7-5685-4035-3 |
Index Number: | O141 |
CLC: | O141 |
Call Number: | O141/2944-2 |
Contents: | 本书涵盖了命题与命题联结词、命题逻辑演算、谓词与量词、谓词逻辑演算等方面的内容,并且包含了与计算机科学有关的主题,如有限模型。 |
Note: | 编著者还有:肖奚安、朱朝晖、周勇 |