Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | 511.3 GEN (Browse shelf) | Available | 024927 |
511.3 GAB Many-dimensional modal logics theory and applications | 511.3 GAB What is a logical system? | 511.3 GAB Interpolation and definability : modal and intuitionistic logics | 511.3 GEN Godel's theorem simplified | 511.3 GER Introduction to Mathematical Structures and Proofs | 511.3 GOL Incompleteness Phenomenon | 511.3 GOL Propositional and predicate calculus : a model of argument |
There are no comments for this item.