Research graph
References from Modal Deduction in Second-Order Logic and Set Theory - II. Local targets link to admitted publications; unresolved targets remain external evidence.
Unresolved reference
External reference
10.1007/978-3-662-11035-5
10.1007/978-3-662-11035-5 · External reference
Unresolved reference
External reference
Unresolved reference
1979 · External reference
10.1007/978-94-009-7066-3_4
10.1007/978-94-009-7066-3_4 · 1983 · External reference
Unresolved reference
1985 · External reference
10.1093/logcom/7.2.251
10.1093/logcom/7.2.251 · 1997 · External reference
Unresolved reference
External reference
10.2307/2268862
10.2307/2268862 · 1937 · External reference
10.1007/978-94-009-6259-0_2
10.1007/978-94-009-6259-0_2 · 1984 · External reference
10.1007/bf00881803
10.1007/bf00881803 · 1995 · External reference
Unresolved reference
External reference
10.1007/978-94-009-8384-7_3
10.1007/978-94-009-8384-7_3 · 1981 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
10.1007/978-94-010-3144-8
10.1007/978-94-010-3144-8 · 1971 · External reference
10.1007/978-94-011-5694-3
10.1007/978-94-011-5694-3 · 1997 · External reference
10.2307/2275293
10.2307/2275293 · 1992 · External reference
Unresolved reference
External reference
10.1111/j.1755-2567.1975.tb00555.x
10.1111/j.1755-2567.1975.tb00555.x · 1975 · External reference
