on formally undecidable propositions of principia mathematica and related systems
Publisher: basic biiks, inc., publishers new york
Published: 1962
Language: eng
Number of pages: 86