Wartak Józef
Zastosowanie logiki matematycznej (rachunku zdań) przy ustalaniu diagnozy lekarskiej