Metadata
Author: Literature
Data
Hungarian[hu]
Robinson felfedezte a rezolúciót, az elsőrendű logika teljes bizonyítási eljárását (lásd 9. fejezet).
Russian[ru]
Робинсоном метода резолюции (полного алгоритма доказательства теорем для логики первого порядка; см. главу 9).