Browse “Proof theory” in an alphabetical list of subjects

Browse by subject help: Search within an alphabetical list of all Library of Congress Subject Headings - Opens in new windowopen_in_new (LCSH) indexed in the Library catalog.

Subject	Records
Subject: Proof coins About this subject - Opens in new windowopen_in_new 0 records Broader term (in subject list): Coins (781 records)	0 records
Subject: Proof coins--Collectors and collecting--United States 1 record	1 record
We found a matching subject in our catalog for: Proof theory.
Subject: Proof theory About this subject - Opens in new windowopen_in_new 190 records Broader term (in subject list): Logic, Symbolic and mathematical (3094 records) Narrower terms (in subject list): Automatic theorem proving (121 records) Incompleteness theorems (19 records) Numbers, Ordinal (13 records)	190 records
Subject: Proof theory--Congresses 13 records	13 records
Subject: Proof theory Data processing 1 record	1 record
Subject: Proof theory--Data processing--Congresses 3 records	3 records
Subject: Proof theory--Drama 1 record	1 record
Subject: Proof theory--Early works to 1800 3 records	3 records
Subject: Proof theory--History 3 records	3 records
Subject: Proof theory--Periodicals 1 record	1 record
Subject: Proof theory--Popuar works 1 record	1 record
Subject: Proof theory--Popular works 5 records	5 records
Subject: Proof theory--Study and teaching 5 records	5 records
Subject: Proof theory--Study and teaching (Secondary)--United States 1 record	1 record
Subject: Proof theory--Textbooks 12 records	12 records
Subject: Proofmarks About this subject - Opens in new windowopen_in_new 0 records Broader term (in subject list): Firearms--Testing (8 records)	0 records
Subject: Proofmarks--Commonwealth countries 1 record	1 record
Subject: Proofmarks--Europe 1 record	1 record
Subject: Proofmarks--Latin America 1 record	1 record
Subject: Proofmarks--Philippines 1 record	1 record

The University of Michigan Library aims to describe library materials in a way that respects the people and communities who create, use, and are represented in our collections. Report harmful or offensive language anonymously through our metadata feedback form. More information at Remediation of Harmful Language.

Give feedback about this pageopen_in_new