Daniel Dzierzgowski Finite Sets and Natural Numbers in Intuitionistic TT. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1996, v:37, n:4, pp:585-601 [Journal]

Daniel Dzierzgowski Finite Sets and Natural Numbers in Intuitionistic TT Without Extensionality. [Citation Graph (0, 0)][DBLP] Studia Logica, 1998, v:61, n:3, pp:417-428 [Journal]

Search in 0.003secs, Finished in 0.004secs

NOTICE1

System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2

The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP