01676nam0 2200337 i 450 VAN005132320240313030633.825978-08-17-63453-720060906d1989 |0itac50 baengUS|||| |||||Logic for computer scientistsUwe SchoningBostonBirkhäuser1989166 p.ill.24 cm001VAN00526792001 Progress in computer science and applied logic210 Basel [etc.]Birkhäuser8VAN0252811Logik für Informatiker298336203-XXMathematical logic and foundations [MSC 2020]VANC019750MF68N17Logic programming [MSC 2020]VANC020586MF03BxxGeneral logic [MSC 2020]VANC024425MFBostonVANL000051SchoningUweVANV040365543219Birkhäuser <editore>VANV108193650ITSOL20240315RICA/sebina/repository/catalogazione/documenti/Schoning - Logic for computer scientists 1989.pdfContentsVAN0051323BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS 03-XX 3934 08DMF575 I a 20200128 BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 3934 08 5609 I 20060906 DeterioratoBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 3934 08DMF576 I b 20200128 Logik für Informatiker2983362UNICAMPANIA