Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next revision | ||
sav07_resource [2008/02/18 15:13] vkuncak |
sav07_resource [2008/02/18 16:07] vkuncak |
||
---|---|---|---|
Line 127: | Line 127: | ||
* M. Huth and M. Ryan. Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, 2000. (suggested for more information on Chapter 1 (Propositional Logic) and 2 (Predicate Logic)) | * M. Huth and M. Ryan. Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, 2000. (suggested for more information on Chapter 1 (Propositional Logic) and 2 (Predicate Logic)) | ||
* [[Gallier Logic Book]] | * [[Gallier Logic Book]] | ||
+ | * [[http://www.cis.upenn.edu/~jean/gbooks/discmath.html|Gallier Discrete Math Book]] Draft | ||
* Ralph-Johan J. Back, J. Von Wright: [[http://portal.acm.org/citation.cfm?coll=GUIDE&dl=GUIDE&id=551462#|Refinement Calculus: A Systematic Introduction]] | * Ralph-Johan J. Back, J. Von Wright: [[http://portal.acm.org/citation.cfm?coll=GUIDE&dl=GUIDE&id=551462#|Refinement Calculus: A Systematic Introduction]] | ||