폴란드 출생의 미국 수학자·논리학자. 바르샤바대학에서 레스니에프스키, J.루카셰비치에게 배웠다. 폴란드 학파(學派)의 일원으로서 1935년 《형식언어(形式言語)에서의 진리개념(眞理槪念)：Der Wahrheitsbegriff in den formalisierten Sprachen》을 발표하여 인정을 받았다. 42∼68년 버클리의 캘리포니아대학 강사·부교수·교수를 역임하고, 68년 명예교수가 되었다. 주요저서는 《수학적 논리학 서설》 《논리학 및 연역과학(演繹科學) 방법론 서설》 《논리학·의미론·대수론(代數論)：Logic, Semantics, Metamathematics》(56) 등이다.