Symbolic Logic I - Dustin Stokes

We will be experimenting with an interactive computer program, Logic 2010,
developed at UCLA by David Kaplan, ... Institution: UTSC ... Each test is worth 20
%.

Part of the document