Logiweb dictionary of logik rapport

Up Help

0 0 logik rapport
1 0 nani nini tati...:1
2 0 nani nini tati...:2
3 0 A2′^{∗}
4 0 A1′^{∗}

5 0 DoubleHypothesis 6 0 C1.10a 7 0 C1.10(b) 8 0 L1.8 9 0 L3.2(b)′ 10 0 L3.2(c)′ 11 0 L3.2(d)′ 12 0 L3.2(f)′

13 0 L3.2(f)′_{BASE}
14 0 L3.2(f)′_{HYP}

15 0 L3.2(g)′

16 0 L3.2(g)′_{BASE}
17 0 L3.2(g)′_{HYP}

18 0 L3.2(h)′

19 0 L3.2(h)′_{BASE}
20 0 L3.2(h)′_{HYP}

21 0 L3.2h_{SWAP} 22 0 Tautology1

The pyk compiler, version 0.grue.20050603 by Klaus Grue GRD-2005-07-04.UTC:08:28:05.801232 = MJD-53555.TAI:08:28:37.801232 = LGT-4627182517801232e-6