Frage zu Artikel "Canonical Equational Proofs"

ISBN: 978-0-8176-3547-3
Titel: Canonical Equational Proofs
von: Bachmair