00722nam0-22002651i-450-990001000400403321000100040FED01000100040(Aleph)000100040FED0100010004020000920d1951----km-y0itay50------baengConstructive FormalismR.L. GoodsteinLeicesterUniversity College1951Fondamenti della logica matematica e probabilità519Goodstein,R.l.880ITUNINARICAUNIMARCBK9900010004004033214A-0974667FI1FI1Constructive Formalism354506UNINAING01