Pocket KrHyper 0.9.3

е теорема, доказващ библиотека за мобилни телефони J2ME. Тя подкрепя разсъжденията в Пропозиционални, първи ред, и описание логика и е...