Logic and Formal Methods

Ralf Kölmel