Lwów–Warsaw school of logic

GPTKB entity