![Formale Logik [German] 3696394319 Book Cover](https://i.thriftbooks.com/api/imagehandler/l/88C1742BE111E9CE61F3D8027E9B9532EDCD913C.jpeg)
Warum sind manche Schl sse zwingend, und wo liegen die Grenzen formaler Systeme? Dieses Buch f hrt verst ndlich und systematisch in die formale Logik ein. Behandelt werden die Aussagenlogik und die Pr dikatenlogik ebenso wie quivalenzen, Normalformen, Resolution und Verfahren...