LEADER 01012nam0-22003131i-450-
001 990000999550403321
035   $a000099955
035   $aFED01000099955
035   $a(Aleph)000099955FED01
035   $a000099955
100   $a20000920d1962----km-y0itay50------ba
101 0 $aeng
200 1 $aOn Formally Undecidable Propositions of Principia Mathematica and Related Systems$fKurt Godel$gtranslated by B. Meltzer$gwith Introduction by R.B. Braithwaite
210   $aEdinburgh [etc.]$cOliver & Boyd$d1962
215   $aviii, 72 p.$d20 cm
610 0 $aLogica
610 0 $aRicorsività
676   $a160
700  1$aGödel,$bKurt$0346201
702  1$aBraithwaite,$bRichard Bevan$f<1900-1990>
702  1$aMeltzer,$bBernard
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990000999550403321
952   $a7-124$b3826$fFI1
959   $aFI1
996   $aFormally undecidable propositions of Principia mathematica and related systems$91427513
997   $aUNINA
DB    $aING01