The Library of Congress > Linked Data Service > BIBFRAME Works

Bibframe Work

Title
Natural deduction Natural deduction :
Type
Text
Language
English
Illustrative Content
illustrations
Classification
LCC: BC71 .P68 2006 (Source: dlc)
DDC: 162 full (Assigner: dlc)
Identified By
Lccn: 2005051968
Authorized Access Point
Prawitz, Dag. Natural deduction