01219nam0-2200385li-450 99000015786020331620180312154610.00-921598-06-80015786USA010015786(ALEPH)000015786USA01001578620001109d1990----km-y0itay0103----baengCNIntroduction to computer science using the Turing programming languageJ.N.P. Hume, R.C. Holt2nd edTorontoHolt Software Associatescopyr. 1990VIII, 389 p.ill.23 cminformaticalinguaggio turing004Elab. dei dati Scienza degli elab. InformaticaHume,J.N.P.40925Holt,R.C.Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000157860203316004 HUM (A)0000734BKTEC1991040920001110USA01171220020403USA011623PATRY9020040406USA011611Introduction to computer science using the Turing programming language1486642UNISA02196nam0 22005533i 450 VAN0026161420260302103036.266N978366208402120230719d1980 |0itac50 baengDE|||| |||||i e bcrLogic and structureDirk van DalenBerlinSpringer1980ix, 174 p.24 cm001VAN000245062001 Universitext210 Berlin [etc]Springer1930-VAN00302679Logic and structure92549803-XXMathematical logic and foundations [MSC 2020]VANC019750MF03B05Classical propositional logic [MSC 2020]VANC021402MF03B10Classical first-order logic [MSC 2020]VANC024530MFBasic 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>VANV108073650van Dalen, DirkDalen, Dirk vanVANV257141van Dalen, D.Dalen, Dirk vanVANV262265ITSOL20260410RICAhttps://doi.org/10.1007/978-3-662-08402-1E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00261614BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 6297 08eMF6297 20230727 Logic and structure925498UNICAMPANIA