Produkt mají v nabídce:
Lectures on Mathematical Logic, Volume II - Felscher, Walter
Starting from the observation that in everyday arguments statements are transformed linguistically, connecting them in formal ways irrespective of their contents, this text presents such arguments as deductive situations, or "sequents" in the technical terminology. It shows how the transformations between them can be expressed as logical rules.
