| 청구기호 |
QA8.9-10.3 |
| 판사항 |
1st ed. 2022.
|
| 형태사항 |
VIII, 319 p. 5 illus. online resource.
|
| 총서명 |
Problem Books in Mathematics, 2197-8506
|
| 언어 |
English |
| 내용 |
Chapter 1 - Special Set Systems -- Chapter 2 - Games and Voting -- Chapter 3 - Formal languages and automata -- Chapter 4 - Recursion Theory -- Chapter 5 - Propositional Calculus -- Chapter 6 - First-order logic -- Chapter 7 - Fundamental Theorems -- Chapter 8 - Elementary Equivalence -- Chapter 9 - Ultraproducts -- Chapter 10 - Arithmetic -- Chapter 11 - Selected Applications -- Chapter 12 - Solutions.
|
| 주제 |
Mathematical logic.
Model theory.
General Logic.
Model Theory.
|
| 보유판 및 특별호 저록 |
Springer Nature eBook
Printed edition: 9783030790097
Printed edition: 9783030790110
Printed edition: 9783030790127
|
| ISBN |
9783030790103 |
| 기타 표준번호 |
10.1007/978-3-030-79010-3 |
| QR CODE |
|
