On formally undecidable propositions of Principia mathematica and related systems


Kurt Gödel
Bok Engelsk 1992

Detaljer

Bibliotek som har denne