9780192895943 - an introduction to proof theory: normalization, cut-elimination, and consistency proofs von mancosu, paolo; galvan, sergio; zach, richard (9 Ergebnisse)

ISBN

Optimieren Sie Ihre Suche

  • Bücher (9)

bis

Benutzerdefinierte Preisspanne (EUR)

bis