A simplification of the completeness proofs for Guaspari and Solovav's R
DSpace/Manakin Repository
A simplification of the completeness proofs for Guaspari and Solovav's R
(1986) Logic Group Preprint Series, volume 8
(Preprint)
Download/Full Text
See more statistics about this item