Gödel, Kurt , 1906-1978

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


Lógica Matemática

Bibliotecas Dominicos Provincia Hispania, 2016

Con tecnología Koha