Degrees of sensible lambda theories
DSpace/Manakin Repository
Degrees of sensible lambda theories
Bergstra, J.A.; Barendregt, H.P.; Klop, J.W.; Volken, H.
(1978) The journal of symbolic logic, volume 43, issue 1, pp. 45 - 55
(Article)
Download/Full Text
Open Access version via Utrecht University Repository
ISSN: 0022-4812
Publisher: Association for Symbolic Logic, Providence, Ri
See
more statistics
about this item