The Library of Congress > Linked Data Service > BIBFRAME Works

Bibframe Work

Title
Natural deduction : a proof-theoretical study
Type
Text
Language
English
Illustrative Content
Illustrations
Classification
LCC: BC71 .P68 2006
DDC: 162 full
Content
text
Authorized Access Point
Prawitz, Dag. Natural deduction : a proof-theoretical study