Logikkalkule

Bok av Michael Richter