Buchportal für Bücher die eine ISBN tragen.

Reihe Computer Science Foundations and Applied Logic

Alexander Leitsch ×

Buchcover First-Order Schemata and Inductive Proof Analysis

First-Order Schemata and Inductive Proof Analysis

Alexander Leitsch

Springer International Publishing

Buchcover First-Order Schemata and Inductive Proof Analysis

First-Order Schemata and Inductive Proof Analysis

Alexander Leitsch

Springer International Publishing