The Library of Congress > LCCN Permalink

View this record in:  MARCXML | LC Authorities & Vocabularies

Proof theory

LC control no.sh 85107437
LC classificationQA9.54
Topical headingProof theory
    Browse this term in  LC Authorities  or the  LC Catalog
See alsoLogic, Symbolic and mathematical
    Browse this term in  LC Authorities