Abstract Reduction Systems
Subtitle: A Comprehensive Introduction
Publisher: Dave4Math
Published: 2022
Language: eng
ISBN-13: 9781951290153
Subjects: Mathematics