Research graph
References from Finite Sets and Natural Numbers in Intuitionistic TT Without Extensionality. Local targets link to admitted publications; unresolved targets remain external evidence.
Unresolved reference
1984 · External reference
10.1305/ndjfl/1040046143
10.1305/ndjfl/1040046143 · 1996 · External reference
10.2307/2275855
10.2307/2275855 · 1995 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
10.1007/bfb0066775
10.1007/bfb0066775 · External reference
