Logic | 38C5F0E2222B618292FF13BF6F7702FBDE822D48

Logic

Name	Logic	DOWNLOAD Copy Link Trouble downloading? see How To
Total Size	3.7 MB
Total Files	35
Hash	38C5F0E2222B618292FF13BF6F7702FBDE822D48

/
00 - module information sheet.pdf	76.0 KB
01 - schedule.pdf	62.0 KB
02 - preview.pdf	90.4 KB
03 - exam 2009 questions.pdf	94.0 KB
04 - exam 2009 answers.pdf	145.0 KB
05 - exam 2010 questions.pdf	91.3 KB
06 - exam 2010 answers.pdf	136.7 KB
1 - not, and, or.pdf	96.1 KB
10 - semantic trees.pdf	179.0 KB
11 - informal proof strategies.pdf	97.9 KB
12 - natural deduction - chaining.pdf	138.1 KB
13 - natural deduction - suppositions.pdf	114.2 KB
14 - the language of quantifiers.pdf	153.7 KB
15 - freedom etc.pdf	136.3 KB
16 - semantics - substitutional.pdf	112.4 KB
17 - x-variant semantics.pdf	101.6 KB
18 - consequence, qfr permutations.pdf	71.1 KB
19 - direct rules for qfrs and identity.pdf	112.7 KB
2 - if, iff etc.pdf	78.9 KB
20 - indirect rules for qfrs.pdf	89.1 KB
21 - nat dedn with one qfr.pdf	135.8 KB
22 - nat dedn with several qfrs.pdf	127.7 KB
23 - prenex & skolem normal forms.pdf	374.0 KB
24 - the big theorems.pdf	82.2 KB
25 - decidability, constructivity.pdf	72.6 KB
26 - axiomatic arithmetic.pdf	116.9 KB
27 - godel.pdf	129.6 KB
3 - functional completeness.pdf	73.3 KB
4 - the formal language.pdf	32.0 KB
5 - tautological consequence.pdf	23.6 KB
6 - tautological equivalence.pdf	64.6 KB
7 - consistency.pdf	144.5 KB
8 - normal forms - dnfs, cnfs.pdf	71.9 KB
9 - normal forms - lls, mm.pdf	76.8 KB
index.aspx.html	46.9 KB
Total files 35