|
by Robert S BoyerHardcover details (USA). details (UK). details (Germany). details (Canada). ISBN: 978-0-12-122950-4 ISBN-10: 0-12-122950-5 Academic Press · 1979 |
| See also (possibly by other authors): | ||
| 1999 | Gebundene Ausgabe | Computational Logic (Nato ASI Subseries F: (165), Band 165) |
| 1999 | Taschenbuch | Computational Logic (Nato ASI Subseries F) |