Your search returned 2 results.

1.
No cover image available
The completeness of the axioms of the functional calculus of logic / Kurt Gödel

by Gödel, Kurt, , 1906-1978.

Source: From Frege to Gödel : A Source Book in Mathematical Logic, 1879-1931 / Jean van Heijenoort , págs. 582-592Material type: Article Article; Format: print ; Literary form: Not fiction Language: English Availability: Items available for loan: Call number: 25/3 (1).
2.
No cover image available
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

by Gödel, Kurt, , 1906-1978.

Source: From Frege to Gödel : A Source Book in Mathematical Logic, 1879-1931 / Jean van Heijenoort , págs. 592-618Material type: Article Article; Format: print ; Literary form: Not fiction Language: English Availability: Items available for loan: Call number: 25/3 (1).

Bibliotecas Dominicos Provincia Hispania, 2016

Con tecnología Koha