Produkt mají v nabídce:
Logikkalkule in der Informatik - Schenke, Michael
Im Mittelpunkt steht das Spannungsverhältnis zwischen einerseits dem herkömmlichen Logikansatz mit Begriffen wie Signatur, Struktur, Wahrheitswert und andererseits dem eher dynamisch ausgerichteten Begriff des KalkĂĽls, also zwischen Semantik und Syntax.
