Screen Library数理逻辑引论 = 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: | 编著者还有：肖奚安、朱朝晖、周勇 |