| CPS822/CP8309 TMU Library reserve | |
| --------------------------------------------------------------------------------------------------- | |
| Reserve Item 1 | |
| Course Code: | cps822/cp8314 |
| Required for: | Winter |
| Author: | Elliot Mendelson |
| Title: | Introduction to mathematical logic |
| Full Citation: | 3rd ed., Wadsworth & Brooks/Cole Advanced Books & Software, c1987, ISBN 0534066240 |
| Call Number: | QA9 .M4 1987 |
| Loan Period: | 1 Day - 1 Copy(s) Required |
| Digitize for Reserve: | |
| URL or Database: | |
| --------------------------------------------------------------------------------------------------- | |
| Reserve Item 2 | |
| Course Code: | cps822/cp8314 |
| Required for: | Winter |
| Author: | Mordechai Ben-Ari |
| Title: | Mathematical logic for computer science |
| Full Citation: | 2nd ed., London ; New York : Springer, c2001, ISBN 1852333197 |
| Call Number: | QA9 .B437 2001 |
| Loan Period: | 1 Day - 1 Copy(s) Required |
| Digitize for Reserve: | |
| URL or Database: | |
| --------------------------------------------------------------------------------------------------- | |
| Reserve Item 3 | |
| Course Code: | cps822/cp8314 |
| Required for: | Winter |
| Author: | Joseph R. Shoenfield |
| Title: | Mathematical logic |
| Full Citation: | Natick, Mass. : Association for Symbolic Logic, [2001?], c1967. ISBN 9781568811352 (pbk. : acid-free paper) |
| Call Number: | QA9 .S52 2001 |
| Loan Period: | 1 Day - 1 Copy(s) Required |
| Digitize for Reserve: | |
| URL or Database: | |
| --------------------------------------------------------------------------------------------------- | |
| Reserve Item 4 | |
| Course Code: | cps822/cp8314 |
| Required for: | Winter |
| Author: | Ronald Brachman and Hector Levesque |
| Title: | Knowledge Representation and Reasoning |
| Full Citation: | published by Morgan Kaufmann, c2004. ISBN 1558609326 |
| Call Number: | Q387 .B73 2004 |
| Loan Period: | 1 Day - 1 Copy(s) Required |
| Digitize for Reserve: | |
| URL or Database: | |
| --------------------------------------------------------------------------------------------------- | |
| Reserve Item 5 | |
| Course Code: | cps822/cp8314 |
| Required for: | Winter |
| Author: | edited by Frank van Harmelen, Vladimir Lifschitz, Bruce Porter |
| Title: | Handbook of knowledge representation |
| Full Citation: | published by Elsevier, 2008. ISBN 9780444522115 |
| Call Number: | Q387 .H36 2008 |
| Loan Period: | 1 Day - 1 Copy(s) Required |
| Digitize for Reserve: | |
| URL or Database: | |
| --------------------------------------------------------------------------------------------------- | |