Logiweb dictionary of pogave

Up Help

0	0	pogave
1	0	rule div
2	0	axiom s ten
3	0	prop three two i
4	0	prop three two j one
5	0	prop three two j two
6	0	prop three two j
7	0	prop three two k one
8	0	prop three two k two
9	0	prop three two k
10	0	prop three two l one
11	0	prop three two l two
12	0	prop three two l
13	0	prop three two m one
14	0	prop three two m two
15	0	prop three two m
16	0	prop three two n one
17	0	prop three two n two
18	0	prop three two n
19	0	prop three two o
20	0	prop three four a one
21	0	prop three four a two
22	0	prop three four a
23	0	prop three four b
24	0	prop three four c one
25	0	prop three four c two
26	0	prop three four c
27	0	prop three four d one
28	0	prop three four d two
29	0	prop three four d
30	2	{MissingArg} divides {MissingArg}