On the quantifier free fragment of Logic of Effective Definitions
DSpace/Manakin Repository
On the quantifier free fragment of Logic of Effective Definitions
(1981) Fundamenta Informaticae : quarterly, volume 4, issue 4, pp. 935 - 956
(Article)
Download/Full Text
ISSN: 0169-2968 (electronic)
0169-2968 (print)
0169-2968 (print)
Publisher: IOS Press
See more statistics about this item