00913nam0-22003251i-450-9900037823204033212000101088-204-6641-4000378232FED01000378232(Aleph)000378232FED0100037823220001010d--------km-y0itay50------baitay-------001yyAffetto e rappresentazioneper una psicoanalisi dei processi cognitiviAntonio ImbasciatiMilanoFranco Angelic1991204 p.22 cmPsicologia76PSICOLOGIA COGNITIVA155.413Imbasciati,Antonio<1936- >143709ITUNINARICAUNIMARCBK990003782320403321155.413 IMB 15253BFSBFSAffetto e rappresentazione509920UNINAING0101656nam0 22003733i 450 VAN025665520230830123833.910N978354037442820230405d1975 |0itac50 baengDE|||| |||||Tableau Systems for First Order Number Theory and Certain Higher Order TheoriesSue ToledoBerlinSpringer1975339 p.24 cm001VAN01022502001 Lecture notes in mathematics210 Berlin [etc.]Springer44703-XXMathematical logic and foundations [MSC 2020]VANC019750MF03C60Model-theoretic algebra [MSC 2020]VANC023964MF03FxxProof theory and constructive mathematics [MSC 2020]VANC024383MFNumber theoryKW:KPredicate calculusKW:KProof TheoryKW:KProofsKW:KBerlinVANL000066ToledoSue AnnVANV210123537111Springer <editore>VANV108073650ITSOL20240614RICAhttps://doi.org/10.1007/BFb0062936E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0256655BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 5918 08eMF5918 20230627 Tableau systems for first order number theory and certain higher order theories919148UNICAMPANIA01295nam0-22004331i-450 99000042500040332120250613095809.088-420-4500-4000042500FED01000042500(Aleph)000042500FED0100004250020020821d1994----km-y0itay50------baitaITa---c---001yy<<Il >>principio del rivestimentoprolegomena a una storia dell'architettura contemporaneaGiovanni Fanelli, Roberto GargianiRomaBariEditori Laterza1994302 p.ill.24 cmGrandi opereRivestimentiDecorazione architettonicaSec. 20.698724.6Fanelli,Giovanni<1936->9295Gargiani,Roberto<1956- >10686ITUNINARICAUNIMARCBK99000042500040332108 BB 482189DINED10.3341747DARSTDE FUSCO 254RDF 278DARSTB 319 CAN283/80 archDARPUARCH B 13676201/878FARBCDINEDDARSTDARPUFARBCPrincipio del rivestimento328134UNINA