Leibniz Company
year of publication
ISBN
author(s)
title
2017
978-0-9991402-1-5
Klaus Truemper
Effective Logic Computation: Revised Edition