E Borger H Kleine Bunmg Computer Science Logic - Germany Springerverlag Berlin Heidelberg 2018 - 99 p Subjects--Topical Terms: COMPUTER Dewey Class. No.: 4