Der Perlentaucher unter den Buchläden

Genauer suchen (1 Treffer)
Filter schließen (1 Treffer)

Suchergebnis

Gefundene Buchautor*innen: David Michael Cerna oder Alexander Leitsch oder Anela Lolic

  1. First-Order Schemata and Inductive Proof Analysis
    eng
    Alexander Leitsch / David Michael Cerna …
    First-Order Schemata and Inductive Proof Analysis
    • Birkhäuser
    • 2026
    • Gebunden
    • 256 Seiten
    171,19€

    Auf Lager