00851nam0-22003131i-450-99000379535040332120001010000379535FED01000379535(Aleph)000379535FED0100037953520001010d--------km-y0itay50------baitay-------001yyValori dell'artigianatoStefano Riccio.NapoliIstituto Grafico Editoriale Italianoc1996188 p.24 cmItinera16ARTIGIANATOAspetti socioeconomici338.477455Riccio,Stefano144146ITUNINARICAUNIMARCBK990003795350403321338.477455 RIC 16381BFSValori dell'artigianato506766UNINAING0102211nam0 22005173i 450 VAN0026351920250627114857.697N978364268952920230921d1985 |0itac50 baengDE|||| |||||Foundations of Constructive MathematicsMetamathematical StudiesMichael J. BeesonBerlinSpringer1985xxiii, 466 p.24 cm001VAN000572182001 Ergebnisse der Mathematik und ihrer Grenzgebiete, 3. Folge, A series of modern surveys in mathematics210 Berlin [etc.]Springer1983-603-XXMathematical logic and foundations [MSC 2020]VANC019750MF03F50Metamathematics of constructive systems [MSC 2020]VANC019808MF03F55Intuitionistic mathematics [MSC 2020]VANC033863MF03F60Constructive and recursive analysis [MSC 2020]VANC024451MF03F65Other constructive mathematics [MSC 2020]VANC024382MFComputability theoryKW:KComputerKW:KComputer ScienceKW:KDevelopmentKW:KForcingKW:KMathematicsKW:KModel theoryKW:KOrganizationKW:KPhilosophyKW:KProof by contradictionKW:KProofsKW:KProvingKW:KSet TheoryKW:KeXistKW:KBerlinVANL000066BeesonMichael J.VANV21784549310Springer <editore>VANV108073650ITSOL20250704RICAhttps://doi.org/10.1007/978-3-642-68952-9E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00263519BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 6692 08eMF6692 20230929 Foundations of constructive mathematics82681UNICAMPANIA