Theory of Formal Deducibility

EAN/UPC/ISBN Code 9780268002749