CPS822/CP8309 Ryerson 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:
---------------------------------------------------------------------------------------------------


Return to the course We page: CPS822/CP8314: Dynamic Systems in Artificial Intelligence