Williamsburg Regional Library

Proof theory

Type

http://bibfra.me/vocab/lite/Concept

Label

Proof theory

Name

Proof theory

Focus

Proof theory

Actions

Incoming Resources

Subject of
2
- Sciencia, mathematics, physics, chemistry, biology, and astronomy for all, [edited by John Martineau]
- Incompleteness, the proof and paradox of Kurt Gödel, Rebecca Goldstein

Outgoing Resources

Focus
1
- Proof theory