| 청구기호 |
QA9.54 |
| 판사항 |
1st ed. 2018.
|
| 형태사항 |
XII, 185 p. 34 illus., 16 illus. in color. online resource.
|
| 언어 |
English |
| 내용 |
Chapter 1- The language of logic and set-theory -- Chapter 2- On proofs and writing mathematics -- Chapter 3- Relations -- Chapter 4- Cardinality -- Appendix A- Complements -- Appendix B- Solutions to exercises in the text -- Index -- Bibliography.
|
| 주제 |
Proof theory.
Structures and Proofs. --https://scigraph.springernature.com/ontologies/product-market-codes/M24010
|
| 보유판 및 특별호 저록 |
Springer Nature eBook
Printed edition: 9783030006402
Printed edition: 9783030006426
|
| ISBN |
9783030006419 |
| 기타 표준번호 |
10.1007/978-3-030-00641-9 |
| QR CODE |
|
