Metadata
Author: Literature
Data
Hungarian[hu]
(Az eddigiekben az elsőrendű logikához használt jelöléseket prefixnek (prefix) nevezzük.)
Russian[ru]
(Система обозначений, которая используется в этом разделе для логики первого порядка, называется # префиксной.)