Some mathematical results on completeness and consistency. On formally undecidable propositions of Principia mathematica and related systems I, and On completeness and consistency / Kurt Gödel
Material type:
ArticleLanguage: English Subject(s): Lógica Matemática
In:
From Frege to Gödel : A Source Book in Mathematical Logic, 1879-1931 / Jean van Heijenoort , págs. 592-618
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Artículo de colaboración
|
San Esteban Depósito de libros | 25/3 (Browse shelf (Opens below)) | Available |