| |||
| ═α ±σ≡Γσ≡σ δαßε≡α≥ε≡ΦΦ ∞α≥σ∞α≥Φ≈σ±ΩεΘ δεπΦΩΦ ╧σ≥σ≡ß≤≡π±Ωεπε ∞α≥σ∞α≥Φ≈σ±Ωεπε Φφ±≥Φ≥≤≥α Φ∞. ╤≥σΩδεΓα ±≥≡αφΦ÷√ ±ε≥≡≤ΣφΦΩεΓ δαßε≡α≥ε≡ΦΦ, Φφ⌠ε≡∞α÷Φ ε ∩ε±≥ε φφε ΣσΘ±≥Γ≤■∙σ∞ ±σ∞Φφα≡σ Φ ε ≥σΩ≤∙Φ⌡ ∞σ≡ε∩≡Φ ≥Φ ⌡, ±±√δΩΦ φα ≡εΣ±≥Γσφφ√σ ±αΘ≥√.
╧εΣΣσ≡µΦΓασ≥± ±≥≡αφΦ÷α, ∩ε±Γ ∙σφφα 10-Θ ∩≡εßδσ∞σ ├Φδⁿßσ≡≥α (ε ≡ατ≡σ°Φ∞ε±≥Φ ΣΦε⌠αφ≥εΓ√⌡ ≤≡αΓφσφΦΘ) Φ ΓΩδαΣ≤ Γ σσ ≡σ°σφΦσ ταΓσΣ≤■∙σπε δαßε≡α≥ε≡ΦσΘ ▐. ╠α≥Φ ±σΓΦ≈α. http://logic.pdmi.ras.ru | |||
╦αßε≡α≥ε≡Φ ∞α≥σ∞α≥Φ≈σ±ΩεΘ δεπΦΩΦ