Eine Einführung in die Beweistheorie: Normalisierung, Cut-Eli - Taschenbuch / Softback N
41,87 €
Title:-An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs. Format:-Paperback / softback. Publisher:-Oxford University Press. Genre:-Science, Mathematics, Logic.
Jetzt bei Ebay:
