(3/2) log 3 [725]. (α) [1112]. (A ∨ B)⇒ C [1135]. (q) [1377]. ∗ [36]. + [668, 1193]. 0 [890, 104, 762, 161, 336, 432, 1166]. 1 [882, 133, 162, 762, 1166]. 101 [1252]. 180 [1039]. 2 [1068, 1281, 172, 267, 1181, 585, 1002, 1367]. 2.5 [168]. 2λ [530]. 3 [51, 731, 1346, 824, 784]. 4 [551]. = [17]. 0 [1223]. A∗ [1182]. α [1371, 599]. Bn [550]. β [1138]. β = λ [283]. cβ [831]. D [1328, 1356]. ∆ [606]...