Research graph
References from Strategic Construction of Fitch-style Proofs. Local targets link to admitted publications; unresolved targets remain external evidence.
Unresolved reference
External reference
10.1007/978-1-4684-0357-2
10.1007/978-1-4684-0357-2 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
10.1007/3-540-58156-1_64
10.1007/3-540-58156-1_64 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
1965 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
1990 · External reference
10.2307/2274910
10.2307/2274910 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
