Portal de Periódicos da CAPES

Leon Chwistek. A formal proof of Gödel's theorem. The journal of symbolic logic, vol. 4 (1939), pp. 61–68.

1940; Cambridge University Press; Volume: 5; Issue: 1 Linguagem: Inglês

10.2307/2269193

1943-5886

Helen Brodie,

Computability, Logic, AI Algorithms

An abstract is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.