Behandelt Aussagen, Quantoren, Mengenoperationen, kartesische Produkte und logische Schlussregeln als Sprache präziser Argumente.
