Research graph
References from THE PROOF IS IN THE CHECKING. Local targets link to admitted publications; unresolved targets remain external evidence.
Unresolved reference
External reference
10.2178/bsl/1203350879
10.2178/bsl/1203350879 · External reference
Unresolved reference
1925 · External reference
Unresolved reference
1971 · External reference
10.1525/9780520312364
10.1525/9780520312364 · External reference
10.1093/mind/xxxviii.149.1
10.1093/mind/xxxviii.149.1 · External reference
10.1007/978-3-7091-6597-3_3
10.1007/978-3-7091-6597-3_3 · External reference
10.2307/2273702
10.2307/2273702 · External reference
Unresolved reference
External reference
Unresolved reference
1962 · External reference
10.1109/85.397057
10.1109/85.397057 · External reference
10.1007/bf00660889
10.1007/bf00660889 · External reference
Unresolved reference
2013 · External reference
Unresolved reference
2001 · External reference
10.1093/bjps/ix.34.135
10.1093/bjps/ix.34.135 · External reference
Unresolved reference
2013 · External reference
10.1093/oso/9780198751410.001.0001
10.1093/oso/9780198751410.001.0001 · External reference
10.1090/pcms/010/07
10.1090/pcms/010/07 · External reference
10.1007/s11098-012-9903-x
10.1007/s11098-012-9903-x · External reference
10.2307/2270324
10.2307/2270324 · External reference
10.2307/2269958
10.2307/2269958 · External reference
Unresolved reference
1927 · External reference
Unresolved reference
1992 · External reference
10.1007/s11225-018-9785-9
10.1007/s11225-018-9785-9 · External reference
10.1007/3-540-46011-x_8
10.1007/3-540-46011-x_8 · External reference
Unresolved reference
2012 · External reference
Unresolved reference
1990 · External reference
Unresolved reference
1879 · External reference
Unresolved reference
1973 · External reference
Unresolved reference
1969 · External reference
Unresolved reference
1998 · External reference
Unresolved reference
1998 · External reference
Unresolved reference
1910 · External reference
Unresolved reference
1965 · External reference
10.4324/9780203290644
10.4324/9780203290644 · External reference
Unresolved reference
2023 · External reference
10.2307/421131
10.2307/421131 · External reference
Unresolved reference
1931 · External reference
A survey of proof theory II
10.1016/s0049-237x(08)70845-0 · 1971 · External reference
Unresolved reference
1967 · External reference
10.1017/cbo9780511804090
10.1017/cbo9780511804090 · External reference
10.1007/3-540-60178-3_78
10.1007/3-540-60178-3_78 · External reference
Unresolved reference
2009 · External reference
10.1007/978-3-319-11041-7_3
10.1007/978-3-319-11041-7_3 · External reference
Unresolved reference
1904 · External reference
10.7551/mitpress/8009.003.0005
10.7551/mitpress/8009.003.0005 · External reference
10.1093/oso/9780198514763.003.0006
10.1093/oso/9780198514763.003.0006 · External reference
10.1007/3-540-46011-x_8
10.1007/3-540-46011-x_8 · ExternalCitation · doi-reference
10.1007/3-540-60178-3_78
10.1007/3-540-60178-3_78 · ExternalCitation · doi-reference
10.1007/978-3-319-11041-7_3
10.1007/978-3-319-11041-7_3 · ExternalCitation · doi-reference
10.1007/978-3-7091-6597-3_3
10.1007/978-3-7091-6597-3_3 · ExternalCitation · doi-reference
10.1007/bf00660889
10.1007/bf00660889 · ExternalCitation · doi-reference
10.1007/s11098-012-9903-x
10.1007/s11098-012-9903-x · ExternalCitation · doi-reference
10.1007/s11225-018-9785-9
10.1007/s11225-018-9785-9 · ExternalCitation · doi-reference
A survey of proof theory II
10.1016/s0049-237x(08)70845-0 · ExternalCitation · doi-reference
10.1017/cbo9780511804090
10.1017/cbo9780511804090 · ExternalCitation · doi-reference
10.1090/pcms/010/07
10.1090/pcms/010/07 · ExternalCitation · doi-reference
10.1093/bjps/ix.34.135
10.1093/bjps/ix.34.135 · ExternalCitation · doi-reference
10.1093/mind/xxxviii.149.1
10.1093/mind/xxxviii.149.1 · ExternalCitation · doi-reference
10.1093/oso/9780198514763.003.0006
10.1093/oso/9780198514763.003.0006 · ExternalCitation · doi-reference
10.1093/oso/9780198751410.001.0001
10.1093/oso/9780198751410.001.0001 · ExternalCitation · doi-reference
10.1109/85.397057
10.1109/85.397057 · ExternalCitation · doi-reference
10.1525/9780520312364
10.1525/9780520312364 · ExternalCitation · doi-reference
10.2178/bsl/1203350879
10.2178/bsl/1203350879 · ExternalCitation · doi-reference
10.2307/2269958
10.2307/2269958 · ExternalCitation · doi-reference
10.2307/2270324
10.2307/2270324 · ExternalCitation · doi-reference
10.2307/2273702
10.2307/2273702 · ExternalCitation · doi-reference
10.2307/421131
10.2307/421131 · ExternalCitation · doi-reference
10.4324/9780203290644
10.4324/9780203290644 · ExternalCitation · doi-reference
10.7551/mitpress/8009.003.0005
10.7551/mitpress/8009.003.0005 · ExternalCitation · doi-reference
