Search the Library Catalogue
Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|
Anna Centenary Library | 511.3 FEL.2 (Browse shelf(Opens below)) | Available | 258896 | ||
Anna Centenary Library | 511.3 FEL.2 (Browse shelf(Opens below)) | Available | 258929 |
511.3 EPS Computability : computable functions, logic, and the foundations of mathematics | 511.3 ESP Classical mathematical logic : the semantic foundations of logic | 511.3 FEF In the light of logic | 511.3 FEL.2 Lectures on mathematical logic | 511.3 FEL.2 Lectures on mathematical logic | 511.3 FRA The satisfiability problem | 511.3 FRE Consequences of Martin's axiom |
Contents : v. 1. Set theoretical logic : the algebra of models -- v. 2. Calculi for derivations and deductions -- v. 3. The logic of arithmetic. Includes bibliographical references and indexes.Library's set has vol. 3 only
There are no comments on this title.