Untersuchungen über den Aussagenkalküls’, Comptes Rendus des séances de la Société des Sciences et des Lettres de Varsovie (1930)

by Jan Lukasiewicz, Alfred Tarski