Proof theory: sequent calculi and related formalisms Binbo Katalin
Material type:
TextLanguage: English Publication details: Boca Raton CRC press 2015Description: x,376p. ill. cmISBN: - 9781466564664 (hbk)
- B:(R1), Q5
| Item type | Current library | Home library | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
Textual
|
Central Science Library | Central Science Library | B:(R1) Q5 (Browse shelf(Opens below)) | Available | SL1601045 |
Browsing Central Science Library shelves Close shelf browser (Hides shelf browser)
| B:(R1) Q1-;4 Essence of logic | B:(R1) Q3 Credibilistic programming: An introduction to models and applications | B:(R1) Q4 TB Mathematical logic : foundations for information science | B:(R1) Q5 Proof theory: sequent calculi and related formalisms | B:(R1) Q6 First course in mathematical logic and set theory | B:(R1) Q6 TB Algebraic logic | B:(R1) Q7 Hesitant fuzzy decision making methodologies and applications |
Appendix 354- 363p.; Bibliography 364-374p.; Index 375-376p.
There are no comments on this title.
Log in to your account to post a comment.