Search the Library Catalogue
Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|
Anna Centenary Library | 511.3 FRI (Browse shelf(Opens below)) | Available | 141085 |
No cover image available | ||||||||
511.3 FEL.2 Lectures on mathematical logic | 511.3 FRA The satisfiability problem | 511.3 FRE Consequences of Martin's axiom | 511.3 FRI Computing with cells : advances in membrane computing | 511.3 GAB What is a logical system? | 511.3 GAB Fibring logics | 511.3 GAS A Boole anthology : recent and classical studies in the logic of George Boole |
Includes bibliographical references (p. [319]-337) and index
There are no comments on this title.