| 청구기호 |
QA9.54 |
| 판사항 |
1st ed. 2021.
|
| 형태사항 |
XVI, 345 p. 15 illus., 1 illus. in color. online resource.
|
| 총서명 |
Studies in Universal Logic, 2297-0290
|
| 언어 |
English |
| 내용 |
Introduction -- Analytic Sequent Calculus for CPL -- Gentzen's Sequent Calculus LK -- Purely Logical Sequent Calculus -- Sequent Calculi for Modal Logics -- Alternatives to CPL -- Appendix.
|
| 주제 |
Proof theory.
Logic.
Mathematics—Philosophy.
Proof Theory and Constructive Mathematics.
Logic.
Philosophy of Mathematics.
|
| 보유판 및 특별호 저록 |
Springer Nature eBook
Printed edition: 9783030571443
Printed edition: 9783030571467
Printed edition: 9783030571474
|
| ISBN |
9783030571450 |
| 기타 표준번호 |
10.1007/978-3-030-57145-0 |
| QR CODE |
|
