Proofs from the book
Material type:
TextLanguage: English Publication details: Berlin Springer 2010Edition: 3Description: 239p cmISBN: - 9788184895339 (pbk)
- B:(R1), Q0 TB
Textbook
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Textbook
|
Central Science Library | Central Science Library | B:(R1) Q0 TB (Browse shelf(Opens below)) | Available | SL1534725 |
Browsing Central Science Library shelves Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| B:(R1) P6 Concise introduction to mathematical logic | B:(R1) P8 Course on mathematical logic | B:(R1) Q0 Logical tools for handling change in agent-based systems | B:(R1) Q0 TB Proofs from the book | B:(R1) Q1-;4 Essence of logic | B:(R1) Q1-;4 Essence of logic | B:(R1) Q1-;4 Essence of logic |
Incledes bibliography references6p; Index237-239p
There are no comments on this title.
Log in to your account to post a comment.
