Hypothetical reasoning
Material type:
- 511.3 St933(36)
Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|
Books | ISI Library, Kolkata | 511.3 St933(36) (Browse shelf(Opens below)) | Available | 69328 |
Total holds: 0
Browsing ISI Library, Kolkata shelves Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | ||
511.3 St933(32) Aristotle's modal syllogisms | 511.3 St933(33) Languages with expressions of infinite length | 511.3 St933(34) Formal systems and recursive functions | 511.3 St933(36) Hypothetical reasoning | 511.3 St933(37) Transfinite type theory with type variables | 511.3 St933(39) Introduction to the theory of finite automata | 511.3 St933(4) Mathematical interpretation of formal systems |
There are no comments on this title.
Log in to your account to post a comment.