Search the Library Catalogue
Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|
Anna Centenary Library | 511.3 LAK (Browse shelf(Opens below)) | Available | 235026 |
511.3 KRY Quantifiers : logics, models, and computation | 511.3 LAC Conjecture and proof | 511.3 LAF Cellular automata transforms : theory and applications in multimedia compression, encryption and modeling | 511.3 LAK Proofs and refutations : the logic of mathematical discovery | 511.3 LAS Logic and complexity | 511.3 LEM Beginning logic | 511.3 LEW Elements of the theory of computation |
Includes indexes. Bibliography: p. 155-165
There are no comments on this title.