GÖDEL, Kurt. On formally undecidable propositions of principia mathematica and related systems. First published. New York : Dover Publications, 1992. Dover books on mathematics. ISBN 0-486-66980-7.

Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel.