01818nam0 22004693i 450 VAN0026281120250506102127.77N978366202382220230901d1983 |0itac50 baengDE|||| |||||Logic and structureDirk van Dalen2. edBerlinSpringer1983x, 210 p.24 cm001VAN000245062001 Universitext210 Berlin [etc]Springer1930-03-XXMathematical logic and foundations [MSC 2020]VANC019750MFBasic model theoryKW:KComputability theoryKW:KFirst-order logic with natural deductionKW:KGödel incompleteness 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>VANV108073650ITSOL20250509RICAhttps://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-CE0120VAN08NVAN00262811BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 6541 08eMF6541 20230905 Logic and structure925498UNICAMPANIA03323nam0 2200457 i 450 VAN0002459020260203125227.148978-88-08-16270-020040923d1996 |0itac50 baitaIT|||| |||||i e nncAlgebraun approccio algoritmicoGiulia Maria Piacentini CattaneoPadovaDecibel ; BolognaZanichelli1996VII, 434 p.24 cmVolume acquistato con finanziamento della Regione Campania D.D. 103 del 24/12/2014 "Promozione e valorizzazione dei musei e delle biblioteche"IT-IT-CE0120 PREST08-XX3270/I eVolume acquistato con finanziamento della Regione Campania – D.D. 103 del 24/12/2014 "Promozione e valorizzazione dei musei e delle biblioteche"IT-IT-CE0120 PREST08-XX3270/I f16-XXAssociative rings and algebras [MSC 2020]VANC019734MF20-XXGroup theory and generalizations [MSC 2020]VANC019715MFBolognaVANL000003PadovaVANL000007Piacentini CattaneoGiulia MariaVANV020630320789Decibel <editore>VANV108101650Zanichelli <editore>VANV110843650ITSOL20260206RICA/sebina/repository/catalogazione/documenti/ID 24590.pdfID 24590.pdfVAN00024590BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS 08-XX 3270 08 6250 I a 20040923 SottolineatoBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS 08-XX 3270-I a 08 1129 det 20040923 DeterioratoBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 08-XX 3270 08 6252 I d 20040923 DeterioratoBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 08-XX 3270 08 8447 I b 20081203 BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 08-XX 3270 08 8448 I c 20081203 SottolineatoBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 08-XX 3270 08DMF23 I d 20150713 BuonoBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 08-XX 3270 08DMF104 I e 20151119 Volume acquistato con finanziamento della Regione Campania D.D. 103 del 24/12/2014 "Promozione e valorizzazione dei musei e delle biblioteche"BuonoBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 08-XX 3270 08DMF113 I f 20151120 Volume acquistato con finanziamento della Regione Campania – D.D. 103 del 24/12/2014 "Promozione e valorizzazione dei musei e delle biblioteche"BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 08-XX 3270 08 6251 I c 20040923 DeterioratoAlgebra70167UNICAMPANIA