User:Keithistre/Collections/Logics for Computer Science

a wiki book

 * Logic for Computer Science
 * Logic for Computer Science/Applications
 * Logic for Computer Science/First-Order Logic
 * Logic for Computer Science/Logics
 * Logic for Computer Science/Propositional Logic
 * Logic for Computer Science/Querying
 * Logic for Computer Science/Querying Proofs
 * Logic for Computer Science/Reasoning
 * Logic for Computer Science/Temporal Logic