01803nam0 22004693i 450 VAN026281120231123022600.562N978366202382220230901d1983 |0itac50 baengDE|||| |||||Logic and structureDirk van Dalen2. edBerlinSpringer1983x, 210 p.24 cm001VAN00245062001 Universitext210 Berlin [etc]Springer1930-03-XXMathematical logic and foundations [MSC 2020]VANC019750MFBasic model theoryKW:KComputability theoryKW:KFirst-order logic with natural deductionKW:KGoedel's theoremKW:KIntuitionistic logic and semanticsKW:KModel theoryKW:KNormalisation of first-order logicKW:KPredicate logicKW:KProof TheoryKW:KProofsKW:KRecursive functionsKW:KSecond order logicKW:KSet TheoryKW:KBerlinVANL000066DalenDirk vanVANV039208535955Springer <editore>VANV108073650ITSOL20240614RICAhttps://doi.org/10.1007/978-3-662-02382-2E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0262811BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 6541 08eMF6541 20230905 Logic and structure925498UNICAMPANIA01508nam0 22003013i 450 VAN0024768920240806101410.223978-88-555-2851-120220701d2005 |0itac50 baitaIT|||| |||||ˆIl ‰corpo e lo sguardotredici studi sulla visualità e la bellezza del corpo nella cultura antica ( Atti del seminario, Bologna 20-21 Novembre 2003)a cura di Valerio NeriBolognaPàtron2005190 p.24 cm001VAN002476902001 Studi di storia210 BolognaPàtron.13VAN00247691ˆIl ‰corpo e lo sguardo2886330Cultura anticaVANC037040SGBolognaVANL000003NeriValerioVANV009845Pàtron <editore>VANV108105650ITSOL20240906RICAhttp://patroneditore.it/volumi/9788855528511/il-corpo-e-lo-sguardo-tredici-studi-sulla-visualit-e-la-bellezza-del-corpo-nella-cultura-anticahttp://patroneditore.it/volumi/9788855528511/il-corpo-e-lo-sguardo-tredici-studi-sulla-visualit-e-la-bellezza-del-corpo-nella-cultura-anticaBIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZAIT-CE0105VAN00VAN00247689BIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA00CONS XXI.Eg.94 00UBG7675 20220701 BuonoCorpo e lo sguardo2886330UNICAMPANIA