Tarski, Alfred (HOL)
Tarski, Alfred (1902–1983), američki matematičar poljskoga podrijetla ...
HE HOL2 HOL

upit: Tarski, Alfred; pronađenih odgovora: 1; vrijeme izvršavanja upita: 131 ms