Zastosowanie logiki matematycznej (rachunku zdań) przy ustalaniu diagnozy lekarskiej J. Wartak — 1964 Applicationes Mathematicae