分享给好友:
Proof Theory and Algebra in Logic Ono 1st ed. 2019 edition
Proof Theory and Algebra in Logic
Ono
Covering modal logics, many-valued logics, superintuitionistic and substructural logics, together with their algebraic semantics, the book also provides an introduction to nonclassical logic for undergraduate or graduate level courses. The book is divided into two parts: Proof Theory in Part I and Algebra in Logic in Part II.
160 pages, 4 Illustrations, black and white; VIII, 160 p. 4 illus.
| 介质类型 | 图书 Book |
| 已发行 | 2019年8月19日 |
| ISBN13 | 9789811379963 |
| 出版商 | Springer Verlag, Singapore |
| 页数 | 160 |
| 商品尺寸 | 150 × 220 × 20 mm · 265 g |
![Cover for Mycotoxins: A Global Challenge for Food Safety & Security - Mycotoxins (Hardcover Book) [2022 edition] (2026)](https://imusic.com.cn/local-image/images/item/original/347/9789811065347.jpg?2026-mycotoxins-a-global-challenge-for-food-safety-security-mycotoxins-hardcover-book&class=scaled&v=1738063266)
![Cover for Ram Kumar Mishra · Government Performance Management: Experiences and Lessons for India - SpringerBriefs in Business (Paperback Book) [2022 edition] (2026)](https://imusic.com.cn/local-image/images/item/original/647/9789811613647.jpg?ram-kumar-mishra-2026-government-performance-management-experiences-and-lessons-for-india-springerbriefs-in-business-paperback-book&class=scaled&v=1694194972)
![Cover for Fady Alajaji · An Introduction to Single-User Information Theory - Springer Undergraduate Texts in Mathematics and Technology (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.com.cn/local-image/images/item/original/485/9789819215485.jpg?fady-alajaji-2026-an-introduction-to-single-user-information-theory-springer-undergraduate-texts-in-mathematics-and-technology-hardcover-book&class=scaled&v=1780322464)
