01783nam0 22004573i 450 VAN026351920230921085441.704N978364268952920230921d1985 |0itac50 baengDE|||| |||||Foundations of Constructive MathematicsMetamathematical StudiesMichael J. BeesonBerlinSpringer1985xxiii, 466 p.24 cm001VAN00572182001 Ergebnisse der Mathematik und ihrer Grenzgebiete, 3. Folge, A series of modern surveys in mathematics210 Berlin [etc.]Springer6Computability theoryKW:KComputerKW:KComputer ScienceKW:KDevelopmentsKW:KForcingKW:KMathematicsKW:KModel theoryKW:KOrganizationKW:KPhilosophyKW:KProof by contradictionKW:KProofsKW:KProvingKW:KSet TheoryKW:KeXistKW:KBerlinVANL000066BeesonMichael J.VANV21784549310Springer <editore>VANV108073650ITSOL20240614RICAhttps://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-CE0120VAN08NVAN0263519BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 6692 08eMF6692 20230929 Foundations of constructive mathematics82681UNICAMPANIA