Kybernetika 26 no. 4, 327-341, 1990

On a logical formalization of natural language

Jaroslav Peregrin

Classification:

68S05, 03B65, 03B40