005.131
Schöning, Uwe.
Logic for Computer Scientists [electronic resource] / / by Uwe Schöning. .- IX, 168 p.. online resource. ** Progress in Mathematics, Basler Lehrbücher, * 8 2197-1803 ; )
LC Class. No.: QA8.9-QA10.3 - Progress in Mathematics, Basler Lehrbücher, 8 .
ISBN: 9780817647636
Standard No.: 10.1007/978-0-8176-4763-6 doi
Subject Headings:
Computer science.;
Mathematical logic.;
Computer Science.;
Mathematical Logic and Formal Languages.;
Mathematical Logic and Foundations.;
Copy Details:
Acc. No.: EBK10332, Full Call No.: , Item type: E books , Location: ,
------------------------- --------------------- ------ --------- ------- ------- --------- --------