01126cam0-22003731i-450-99000103481040332120050428114201.00-387-12173-03-540-12173-0000103481FED01000103481(Aleph)000103481FED0100010348120001205d1985----km-y0itay50------baengDEUSy-------001yyFoundations of constructive mathematicsmetamathematical studiesMichael J. BeesonBerlinHeidelbergNew YorkSpringer1985XXIII, 466 p.25 cmErgebnisse der Mathematik und ihrer GrenzgebieteFolge 36Fondamenti della logica matematica e probabilità519Beeson,Michael J.49310ITUNINARICAUNIMARCBK9900010348104033214A-15415091FI1C-31-(3F-61127MA1113-A-21320MA1FI1MA1Foundations of constructive mathematics82681UNINA