Preliminary notes on interpretability logic
DSpace/Manakin Repository
Preliminary notes on interpretability logic
(1988) Logic Group Preprint Series, volume 29
(Preprint)
Download/Full Text
See more statistics about this item