Témakör: modus ponens
VITA
VITA	1309	1999-08-26	modus ponens	brendelm@...aki.hu