Tarski
Tarski Alfred , 14. 1. 1902 - 26. 10. 1983, pol. logik a matematik; jeden z hl. představitelů lvovsko-varšavské školy, od 1939 žil v USA. Zabýval se zejm. axiomatickou teorií modelů, teorií pravdy a log. vyplývání; tvůrce teorie sémantických modelů, zakl. formální sémantiky. Hl. dílo: Logic , Semantics , Metamathematics (Logika, sémantika, metamatematika).