Cumulative Versus Noncumulative Ramified Types

Cumulative Versus Noncumulative Ramified Types. Peressini, A. F. Notre Dame Journal of Formal Logic, 38(3):385–397, Duke University Press, 1997.

Paper bibtex

@article{Peressini1997-ANTCVN,
	author = {Anthony F. Peressini},
	date-added = {2018-04-03 03:22:00 +0000},
	date-modified = {2018-04-03 03:22:00 +0000},
	journal = {{N}otre {D}ame {J}ournal of {F}ormal {L}ogic},
	number = {3},
	pages = {385--397},
	publisher = {{D}uke {U}niversity {P}ress},
	title = {{C}umulative {V}ersus {N}oncumulative {R}amified {T}ypes},
	url = {https://projecteuclid.org/euclid.ndjfl/1039700745},
	volume = {38},
	year = {1997},
	bdsk-url-1 = {https://projecteuclid.org/euclid.ndjfl/1039700745}}

Downloads: 0