01012nam0-22003131i-450-990000999550403321000099955FED01000099955(Aleph)000099955FED0100009995520000920d1962----km-y0itay50------baengOn Formally Undecidable Propositions of Principia Mathematica and Related SystemsKurt Godeltranslated by B. Meltzerwith Introduction by R.B. BraithwaiteEdinburgh [etc.]Oliver & Boyd1962viii, 72 p.20 cmLogicaRicorsività160Gödel,Kurt346201Braithwaite,Richard Bevan<1900-1990>Meltzer,BernardITUNINARICAUNIMARCBK9900009995504033217-1243826FI1FI1Formally undecidable propositions of Principia mathematica and related systems1427513UNINAING01