Book

Logische Grundlagen der Informatik

by Hans-Jörg Kreowski