Eine Termlogik mit Auswahloperator
Hans Hermes
Details
OL Work ID
OL6602480W
Subjects
Symbolic and mathematical Logic
Mathematics, data processing
Mathematics
Mathematics, general
Find this book
Open Library